unmap message object used for syscalls

1 files changed, 10 insertions, 1 deletions

diff --git a/hal/memory.h b/hal/memory.h
index 6e685d6..ab5f6ad 100644
--- a/hal/memory.h
+++ b/hal/memory.h
@@ -1,9 +1,10 @@
-#include "sys/syscall.h"
 #ifndef _JOVE_HAL_MEMORY_H
 #define _JOVE_HAL_MEMORY_H 1
 
 #include "hal/obj.h"
 #include "api/syscall.h"
+#include "sys/syscall.h"
+#include <stdbool.h>
 
 typedef struct jove_obj_untyped
 {
@@ -23,6 +24,14 @@ int untyped_split(jove_owned_obj_t *tgt, jove_owned_obj_t *dst, size_t bytes);
 int untyped_merge(jove_owned_obj_t *a, jove_owned_obj_t *b);
 int untyped_retype(jove_owned_obj_t *tgt, uint8_t newtype);
 
+void pagedir_invlpg(uintptr_t vptr);
+
+uintptr_t *pagedir_get_mapping(
+        jove_owned_obj_t *pagedir, uintptr_t vptr);
+
+uintptr_t pagedir_ident_from_mapping(uintptr_t *mapping);
+void pagedir_mapping_set_present(uintptr_t *mapping, bool present);
+
 int pagedir_map_untyped_frame(
         jove_owned_obj_t *tgt, jove_perm_obj_t *untyped_obj, 
         uintptr_t vptr, struct syscall_pagedir_flags flg);