Rev 2467 | Rev 4018 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2467 | Rev 3233 | ||
---|---|---|---|
Line 41... | Line 41... | ||
41 | #include <arch/exception.h> |
41 | #include <arch/exception.h> |
42 | 42 | ||
43 | #define PAGE_WIDTH FRAME_WIDTH |
43 | #define PAGE_WIDTH FRAME_WIDTH |
44 | #define PAGE_SIZE FRAME_SIZE |
44 | #define PAGE_SIZE FRAME_SIZE |
45 | 45 | ||
46 | #define PAGE_COLOR_BITS 0 /* dummy */ |
- | |
47 | - | ||
48 | #ifndef __ASM__ |
46 | #ifndef __ASM__ |
49 | # define KA2PA(x) (((uintptr_t) (x)) - 0x80000000) |
47 | # define KA2PA(x) (((uintptr_t) (x)) - 0x80000000) |
50 | # define PA2KA(x) (((uintptr_t) (x)) + 0x80000000) |
48 | # define PA2KA(x) (((uintptr_t) (x)) + 0x80000000) |
51 | #else |
49 | #else |
52 | # define KA2PA(x) ((x) - 0x80000000) |
50 | # define KA2PA(x) ((x) - 0x80000000) |