diff options
author | Alex Auvolat <alex.auvolat@ens.fr> | 2015-02-13 17:23:29 +0100 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ens.fr> | 2015-02-13 17:23:29 +0100 |
commit | f67c0b7e20ef0816a2d9047fd20346e3ede98b75 (patch) | |
tree | 7e547ff85cf10777b882fe925800dad4e65e6414 /src/kernel/include/region.h | |
parent | 1ca5c37cee8a9d9c3058746da78240d8dc289a02 (diff) | |
download | kogata-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.h | 6 |
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); |