diff options
author | Marvin Borner | 2020-01-21 22:10:16 +0100 |
---|---|---|
committer | Marvin Borner | 2020-01-21 22:10:16 +0100 |
commit | 3fa449276364389137a7154a9971594816d86362 (patch) | |
tree | 77ee5fa3744b9cb3f62d60ea1ca45d7555762350 /src/kernel/memory/paging.h | |
parent | 391ed256d21a6ae2e2456d1809f357e6e96e15d1 (diff) |
Naming scheme and page fault improvements
Diffstat (limited to 'src/kernel/memory/paging.h')
-rw-r--r-- | src/kernel/memory/paging.h | 12 |
1 files changed, 5 insertions, 7 deletions
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 |