diff options
author | Benji Dial <benji6283@gmail.com> | 2020-09-06 01:26:56 -0400 |
---|---|---|
committer | Benji Dial <benji6283@gmail.com> | 2020-09-06 01:26:56 -0400 |
commit | cbc85f6e897808b29e2f712156e2fa4d073d8277 (patch) | |
tree | 9b27640a6e91b5d3f3ae2ec597cc276aea1c8ab9 /src/kernel/paging.h | |
parent | e8c6577617bffa4402c07c7aa20e3c24f03c1c20 (diff) | |
download | portland-os-cbc85f6e897808b29e2f712156e2fa4d073d8277.tar.gz |
small fixes
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(); |