diff options
| author | Jon Santmyer <jon@jonsantmyer.com> | 2025-08-17 14:16:55 -0400 |
|---|---|---|
| committer | Jon Santmyer <jon@jonsantmyer.com> | 2025-08-17 14:16:55 -0400 |
| commit | 7ee9347560768641096df68c545ac085a20233e4 (patch) | |
| tree | 5b567f2e98cd9e6aeee33eeecd7fbf6f2fafdeab /include/arch/x86_64/page.h | |
| parent | f466364b8a3858e7b3f19258d142851cb4a7e6d6 (diff) | |
| download | jove-kernel-7ee9347560768641096df68c545ac085a20233e4.tar.gz jove-kernel-7ee9347560768641096df68c545ac085a20233e4.tar.bz2 jove-kernel-7ee9347560768641096df68c545ac085a20233e4.zip | |
working usermode pager. fix usermode interrupts
Diffstat (limited to 'include/arch/x86_64/page.h')
| -rw-r--r-- | include/arch/x86_64/page.h | 1 |
1 files changed, 1 insertions, 0 deletions
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); |