diff options
| author | Benji Dial <benji6283@gmail.com> | 2021-02-16 20:38:53 -0500 |
|---|---|---|
| committer | Benji Dial <benji6283@gmail.com> | 2021-02-16 20:38:53 -0500 |
| commit | 47513bd32c256c4f35e3a8ced7d9fd7e15903530 (patch) | |
| tree | cafdf75d52a954814726e07445063c41bb6599f9 /src/kernel/paging.h | |
| parent | bd7facc4b5f53481dc85a15ba123361b2758655b (diff) | |
| download | portland-os-47513bd32c256c4f35e3a8ced7d9fd7e15903530.tar.gz | |
terminal application with ipc, shift+pause state dumper, hello world for terminal, meminfo popup program
Diffstat (limited to 'src/kernel/paging.h')
| -rw-r--r-- | src/kernel/paging.h | 4 |
1 files changed, 3 insertions, 1 deletions
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 |