Rev 3022 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3022 | Rev 4055 | ||
---|---|---|---|
Line 38... | Line 38... | ||
38 | #include <arch/mm/frame.h> |
38 | #include <arch/mm/frame.h> |
39 | 39 | ||
40 | #define PAGE_WIDTH FRAME_WIDTH |
40 | #define PAGE_WIDTH FRAME_WIDTH |
41 | #define PAGE_SIZE FRAME_SIZE |
41 | #define PAGE_SIZE FRAME_SIZE |
42 | 42 | ||
43 | #define PAGE_COLOR_BITS 0 /* dummy */ |
- | |
44 | - | ||
45 | #ifdef KERNEL |
43 | #ifdef KERNEL |
46 | 44 | ||
47 | #ifndef __ASM__ |
45 | #ifndef __ASM__ |
48 | # define KA2PA(x) (((uintptr_t) (x)) - 0x80000000) |
46 | # define KA2PA(x) (((uintptr_t) (x)) - 0x80000000) |
49 | # define PA2KA(x) (((uintptr_t) (x)) + 0x80000000) |
47 | # define PA2KA(x) (((uintptr_t) (x)) + 0x80000000) |
Line 126... | Line 124... | ||
126 | 124 | ||
127 | #ifndef __ASM__ |
125 | #ifndef __ASM__ |
128 | 126 | ||
129 | #include <mm/mm.h> |
127 | #include <mm/mm.h> |
130 | #include <arch/interrupt.h> |
128 | #include <arch/interrupt.h> |
- | 129 | #include <arch/types.h> |
|
- | 130 | #include <typedefs.h> |
|
131 | 131 | ||
132 | /* Page fault error codes. */ |
132 | /* Page fault error codes. */ |
133 | 133 | ||
134 | /** When bit on this position is 0, the page fault was caused by a not-present |
134 | /** When bit on this position is 0, the page fault was caused by a not-present |
135 | * page. |
135 | * page. |