diff options
Diffstat (limited to 'src/kernel/paging.h')
| -rw-r--r-- | src/kernel/paging.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/kernel/paging.h b/src/kernel/paging.h index 72400e8..e39b3f2 100644 --- a/src/kernel/paging.h +++ b/src/kernel/paging.h @@ -6,7 +6,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 switch_pd(void *pd); void free_task_pd(void *pd); void *new_task_pd(); |