blob: 7e668ae043916322f8428db17eaadb01beb74517 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#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);
void *ko_entry_data(objdir_entry_t *entry);
uintptr_t ko_data_toentry(uintptr_t vptr);
#endif
|