From 3fa449276364389137a7154a9971594816d86362 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 21 Jan 2020 22:10:16 +0100
Subject: Naming scheme and page fault improvements

---
 src/kernel/memory/paging.h | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

(limited to 'src/kernel/memory/paging.h')

diff --git a/src/kernel/memory/paging.h b/src/kernel/memory/paging.h
index 285cb6f..bb6ee4f 100644
--- a/src/kernel/memory/paging.h
+++ b/src/kernel/memory/paging.h
@@ -26,22 +26,20 @@ typedef struct page_directory {
 
 int paging_enabled;
 
-void alloc_frame(page_t *page, int is_kernel, int is_writeable);
+void paging_alloc_frame(page_t *page, int is_kernel, int is_writeable);
 
-void free_frame(page_t *page);
+void paging_free_frame(page_t *page);
 
 void paging_install();
 
-void switch_page_directory(page_directory_t *new);
+void paging_switch_directory(page_directory_t *dir);
 
 void paging_enable();
 
 void paging_disable();
 
-page_t *get_page(uint32_t address, int make, page_directory_t *dir);
+page_t *paging_get_page(uint32_t address, int make, page_directory_t *dir);
 
-void page_fault(struct regs *regs);
-
-page_directory_t *clone_directory(page_directory_t *src);
+page_directory_t *paging_clone_directory(page_directory_t *src);
 
 #endif
-- 
cgit v1.2.3