From 465cba0c00bfc5d89bf10ce353b0adf40bdc098d Mon Sep 17 00:00:00 2001 From: Jon Santmyer Date: Sat, 3 Oct 2026 21:32:29 -0400 Subject: unmap message object used for syscalls --- hal/memory.h | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'hal/memory.h') 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 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); -- cgit v1.2.3