diff options
Diffstat (limited to 'src/kernel/paging.h')
| -rw-r--r-- | src/kernel/paging.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/kernel/paging.h b/src/kernel/paging.h index e39b3f2..07bf386 100644 --- a/src/kernel/paging.h +++ b/src/kernel/paging.h @@ -11,6 +11,9 @@ void free_task_pd(void *pd); void *new_task_pd(); void *pd_user_allocate(void *pd, uint32_t vma, uint32_t pages, bool writable); void *pd_user_allocate_anywhere_writable(void *pd, uint32_t pages); +void user_allocate_anywhere_readonly_together(void *pd, uint32_t pages, void **vma_out, void **pma_out); + +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 |