5 #include <std/common.h> 6 #include <kernel/util/interrupts/isr.h> 12 uint32_t accessed : 1;
28 uint32_t tablesPhysical[1024];
33 uint32_t physicalAddr;
38 void paging_install();
53 void vmem_map(uint32_t virt, uint32_t physical);
55 bool alloc_frame(
page_t*
page,
int is_kernel,
int is_writeable);
56 void free_frame(
page_t* page);
64 void *mmap(
void *addr, uint32_t length,
int flags,
int fd, uint32_t offset);
65 int munmap(
void* addr, uint32_t length);
68 void* sbrk(
int increment);