| /branches/arm/kernel/arch/arm32/include/mm/frame.h |
|---|
| 43,9 → 43,16 |
| #include <arch/types.h> |
| #define BOOT_PAGE_TABLE_SIZE 0x4000 |
| #define BOOT_PAGE_TABLE_ADDRESS 0x4000 |
| #define BOOT_PAGE_TABLE_START_FRAME (BOOT_PAGE_TABLE_ADDRESS >> FRAME_WIDTH) |
| #define BOOT_PAGE_TABLE_SIZE_IN_FRAMES (BOOT_PAGE_TABLE_SIZE >> FRAME_WIDTH) |
| extern uintptr_t last_frame; |
| extern void frame_arch_init(void); |
| extern void boot_page_table_free(void); |
| #endif /* __ASM__ */ |
| #endif /* KERNEL */ |