include/memory.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#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