From 47513bd32c256c4f35e3a8ced7d9fd7e15903530 Mon Sep 17 00:00:00 2001 From: Benji Dial Date: Tue, 16 Feb 2021 20:38:53 -0500 Subject: terminal application with ipc, shift+pause state dumper, hello world for terminal, meminfo popup program --- src/kernel/paging.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/kernel/paging.h') diff --git a/src/kernel/paging.h b/src/kernel/paging.h index 6c1a6f5..082f6c2 100644 --- a/src/kernel/paging.h +++ b/src/kernel/paging.h @@ -12,4 +12,6 @@ void user_allocate_anywhere_readonly_together(void *pd, uint32_t pages, void **v void *vma_to_pma(void *pd, const void *vma) __attribute__ ((pure)); void switch_to_kernel_cr3(); -void switch_to_task_cr3(); \ No newline at end of file +void switch_to_task_cr3(); + +bool pd_is_mapped(const void *pd, uint32_t vma) __attribute__ ((pure)); \ No newline at end of file -- cgit v1.2.3