diff options
Diffstat (limited to 'kernel/include/mm/page_table_allocator.h')
| -rw-r--r-- | kernel/include/mm/page_table_allocator.h | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/kernel/include/mm/page_table_allocator.h b/kernel/include/mm/page_table_allocator.h index 4a0b0fb..80de80e 100644 --- a/kernel/include/mm/page_table_allocator.h +++ b/kernel/include/mm/page_table_allocator.h @@ -21,12 +21,7 @@ #include <stdint.h> -namespace PageTableAllocator -{ - -uint32_t *allocate(void); -void initialize(void); - -} +uint32_t *pta_allocate(void); +void pta_initialize(void); #endif |