#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;

#define KERNEL_STACK_SIZE 0x1000

void pmem_setup(void);
void vmem_setup(void);

int untyped_retype_kernel_stack(objdir_entry_t *untyped_entry, objdir_entry_t *dest_entry);

#endif