diff options
Diffstat (limited to 'src/kernel/paging.h')
| -rw-r--r-- | src/kernel/paging.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/kernel/paging.h b/src/kernel/paging.h index 07bf386..6c1a6f5 100644 --- a/src/kernel/paging.h +++ b/src/kernel/paging.h @@ -3,10 +3,6 @@ void init_paging(); -void *new_pd(); -void free_pd(void *pd); -void pd_map(void *pd, uint32_t physical_addr, uint32_t virtual_addr, bool writable); - void free_task_pd(void *pd); void *new_task_pd(); void *pd_user_allocate(void *pd, uint32_t vma, uint32_t pages, bool writable); |