#ifndef _JOVE_MEMORY_H
#define _JOVE_MEMORY_H 1

#include <stdint.h>
#include "object.h"

typedef uintptr_t physptr_t;
typedef uintptr_t virtptr_t;

void mapping_setup_init(void);
void mapping_setup(objdir_entry_t *mapping);

int mapping_try_map_obj(objdir_entry_t *mapping, uintptr_t vptr, objdir_entry_t *obj);

#endif