From 7ee9347560768641096df68c545ac085a20233e4 Mon Sep 17 00:00:00 2001 From: Jon Santmyer Date: Sun, 17 Aug 2025 14:16:55 -0400 Subject: working usermode pager. fix usermode interrupts --- include/arch/x86_64/page.h | 1 + 1 file changed, 1 insertion(+) (limited to 'include/arch/x86_64/page.h') diff --git a/include/arch/x86_64/page.h b/include/arch/x86_64/page.h index 4460720..e62b8d6 100644 --- a/include/arch/x86_64/page.h +++ b/include/arch/x86_64/page.h @@ -38,6 +38,7 @@ typedef uint16_t pmli_t; uintptr_t vmem_ident_tophys(void *vptr); void *vmem_phys_tovirt(uintptr_t pptr); +uintptr_t vmem_tophys_koff(uintptr_t v); void *pmle_get_page(pmle_t entry); uint8_t pmle_level(pmle_t entry); -- cgit v1.2.1