Rev 2927 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2927 | Rev 4343 | ||
|---|---|---|---|
| Line 49... | Line 49... | ||
| 49 | 49 | ||
| 50 | #define BOOT_PAGE_TABLE_START_FRAME (BOOT_PAGE_TABLE_ADDRESS >> FRAME_WIDTH) |
50 | #define BOOT_PAGE_TABLE_START_FRAME (BOOT_PAGE_TABLE_ADDRESS >> FRAME_WIDTH) |
| 51 | #define BOOT_PAGE_TABLE_SIZE_IN_FRAMES (BOOT_PAGE_TABLE_SIZE >> FRAME_WIDTH) |
51 | #define BOOT_PAGE_TABLE_SIZE_IN_FRAMES (BOOT_PAGE_TABLE_SIZE >> FRAME_WIDTH) |
| 52 | 52 | ||
| 53 | extern uintptr_t last_frame; |
53 | extern uintptr_t last_frame; |
| - | 54 | extern uintptr_t end_frame; |
|
| 54 | 55 | ||
| 55 | extern void frame_arch_init(void); |
56 | extern void frame_arch_init(void); |
| 56 | extern void boot_page_table_free(void); |
57 | extern void boot_page_table_free(void); |
| 57 | #define physmem_print() |
58 | #define physmem_print() |
| 58 | 59 | ||