From 8ac8bc7b6c5fd2b0206082fb49d99e31f0ab49d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= Date: Wed, 3 Jan 2018 15:34:06 +0100 Subject: [PATCH] VMM -- adding interface to header file --- src/kernel/include/memory.h | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/kernel/include/memory.h b/src/kernel/include/memory.h index 0391d73..498cf3a 100644 --- a/src/kernel/include/memory.h +++ b/src/kernel/include/memory.h @@ -33,4 +33,9 @@ size_t strlen(const char *s); void pmm_free(uintptr_t page); uintptr_t pmm_alloc(); + +uintptr_t vmm_get_page(void *P4, uintptr_t addr); +int vmm_set_page(void *P4, uintptr_t addr, uintptr_t page, uint16_t flags); +int touch_page(void *P4, uintptr_t addr, uint16_t flags); +void free_page(void *P4, uintptr_t addr, int free); #endif