aboutsummaryrefslogtreecommitdiff
path: root/src/kernel/include/region.h
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2015-02-13 17:23:29 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2015-02-13 17:23:29 +0100
commitf67c0b7e20ef0816a2d9047fd20346e3ede98b75 (patch)
tree7e547ff85cf10777b882fe925800dad4e65e6414 /src/kernel/include/region.h
parent1ca5c37cee8a9d9c3058746da78240d8dc289a02 (diff)
downloadkogata-f67c0b7e20ef0816a2d9047fd20346e3ede98b75.tar.gz
kogata-f67c0b7e20ef0816a2d9047fd20346e3ede98b75.zip
Prepare for user memory management and usermode code
Diffstat (limited to 'src/kernel/include/region.h')
-rw-r--r--src/kernel/include/region.h6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/kernel/include/region.h b/src/kernel/include/region.h
index 1fef582..a390e06 100644
--- a/src/kernel/include/region.h
+++ b/src/kernel/include/region.h
@@ -8,18 +8,18 @@
#include <paging.h>
struct region_info;
-typedef void (*page_fault_handler_t)(pagedir_t *pd, struct region_info *r, void* addr);
+typedef void (*kernel_pf_handler_t)(pagedir_t *pd, struct region_info *r, void* addr);
typedef struct region_info {
void* addr;
size_t size;
char* type;
- page_fault_handler_t pf;
+ kernel_pf_handler_t pf;
} region_info_t;
void region_allocator_init(void* kernel_data_end);
-void* region_alloc(size_t size, char* type, page_fault_handler_t pf); // returns 0 on error
+void* region_alloc(size_t size, char* type, kernel_pf_handler_t pf); // returns 0 on error
region_info_t *find_region(void* addr);
void region_free(void* addr);