From cbc85f6e897808b29e2f712156e2fa4d073d8277 Mon Sep 17 00:00:00 2001 From: Benji Dial Date: Sun, 6 Sep 2020 01:26:56 -0400 Subject: small fixes --- src/kernel/paging.h | 1 - 1 file changed, 1 deletion(-) (limited to 'src/kernel/paging.h') 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(); -- cgit v1.2.3