diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-04 10:43:58 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-04 10:43:58 +0100 |
| commit | 292e4141078d18993b1395820631503ac852eb3d (patch) | |
| tree | 3b3e5cb75d9bf3abb2639deedc247eba2cdeabe6 /kernel/include/region.h | |
| parent | d78a3d8be9c194554580cb3c73c1c5ebd0d82a9b (diff) | |
| download | kogata-292e4141078d18993b1395820631503ac852eb3d.tar.gz kogata-292e4141078d18993b1395820631503ac852eb3d.zip | |
Make paging work ! \o/
Diffstat (limited to 'kernel/include/region.h')
| -rw-r--r-- | kernel/include/region.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/kernel/include/region.h b/kernel/include/region.h index 3c64081..1628370 100644 --- a/kernel/include/region.h +++ b/kernel/include/region.h @@ -29,9 +29,4 @@ size_t region_alloc(size_t size, uint32_t type, page_fault_handler_t pf); // ret region_info_t *find_region(size_t addr); void region_free(size_t addr); -#define N_PAGES_IN_PT_REGION 4 -// special call for use by paging code -// allocates a region of N_PAGES_IN_PT_REGION pages -size_t region_alloc_for_pt(); - void dbg_print_region_stats(); |