Rev 2787 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2787 | Rev 3425 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | #define PAGE_WIDTH FRAME_WIDTH |
51 | #define PAGE_WIDTH FRAME_WIDTH |
52 | #define PAGE_SIZE FRAME_SIZE |
52 | #define PAGE_SIZE FRAME_SIZE |
53 | 53 | ||
54 | #define MMU_PAGES_PER_PAGE (1 << (PAGE_WIDTH - MMU_PAGE_WIDTH)) |
54 | #define MMU_PAGES_PER_PAGE (1 << (PAGE_WIDTH - MMU_PAGE_WIDTH)) |
55 | 55 | ||
56 | /* |
- | |
57 | * With 16K pages, there is only one page color. |
- | |
58 | */ |
- | |
59 | #define PAGE_COLOR_BITS 0 /**< 14 - 14; 2^14 == 16K == alias boundary. */ |
- | |
60 | - | ||
61 | #ifdef KERNEL |
56 | #ifdef KERNEL |
62 | 57 | ||
63 | #ifndef __ASM__ |
58 | #ifndef __ASM__ |
64 | 59 | ||
65 | #include <arch/interrupt.h> |
60 | #include <arch/interrupt.h> |