Corrections :

- replace size_t by void* in many places
- correct bug in region freeing code

1 files changed, 4 insertions, 4 deletions

diff --git a/kernel/include/paging.h b/kernel/include/paging.h
index 2e1f844..720d6b3 100644
--- a/kernel/include/paging.h
+++ b/kernel/include/paging.h
@@ -1,6 +1,7 @@
 #pragma once
 
 #include <sys.h>
+#include <stdbool.h>
 
 struct page_directory;
 typedef struct page_directory pagedir_t;
@@ -14,10 +15,9 @@ pagedir_t *get_kernel_pagedir();
 void switch_pagedir(pagedir_t *pd);
 
 // these functions are always relative to the currently mapped page directory
-uint32_t pd_get_frame(size_t vaddr);		// get physical frame for virtual address
-int pd_map_page(size_t vaddr, uint32_t frame_id,
-				uint32_t rw);		// returns nonzero on error
-void pd_unmap_page(size_t vaddr);	// does nothing if page not mapped
+uint32_t pd_get_frame(void* vaddr);		// get physical frame for virtual address
+int pd_map_page(void* vaddr, uint32_t frame_id, bool rw);		// returns nonzero on error
+void pd_unmap_page(void* vaddr);	// does nothing if page not mapped
 
 pagedir_t *create_pagedir();		// returns zero on error
 void delete_pagedir(pagedir_t *pd);