Rev 2256 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2256 | Rev 2352 | ||
---|---|---|---|
Line 41... | Line 41... | ||
41 | #ifdef KERNEL |
41 | #ifdef KERNEL |
42 | #ifndef __ASM__ |
42 | #ifndef __ASM__ |
43 | 43 | ||
44 | #include <arch/types.h> |
44 | #include <arch/types.h> |
45 | 45 | ||
- | 46 | #define BOOT_PAGE_TABLE_SIZE 0x4000 |
|
- | 47 | #define BOOT_PAGE_TABLE_ADDRESS 0x4000 |
|
- | 48 | ||
- | 49 | #define BOOT_PAGE_TABLE_START_FRAME (BOOT_PAGE_TABLE_ADDRESS >> FRAME_WIDTH) |
|
- | 50 | #define BOOT_PAGE_TABLE_SIZE_IN_FRAMES (BOOT_PAGE_TABLE_SIZE >> FRAME_WIDTH) |
|
- | 51 | ||
46 | extern uintptr_t last_frame; |
52 | extern uintptr_t last_frame; |
47 | 53 | ||
48 | extern void frame_arch_init(void); |
54 | extern void frame_arch_init(void); |
- | 55 | extern void boot_page_table_free(void); |
|
49 | 56 | ||
50 | #endif /* __ASM__ */ |
57 | #endif /* __ASM__ */ |
51 | #endif /* KERNEL */ |
58 | #endif /* KERNEL */ |
52 | 59 | ||
53 | #endif |
60 | #endif |