Rev 135 | Rev 300 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 135 | Rev 169 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | #include <arch/mm/frame.h> |
34 | #include <arch/mm/frame.h> |
35 | #include <typedefs.h> |
35 | #include <typedefs.h> |
36 | 36 | ||
37 | #define PAGE_SIZE FRAME_SIZE |
37 | #define PAGE_SIZE FRAME_SIZE |
38 | 38 | ||
39 | #define KA2PA(x) ((x) - 0x80000000) |
39 | #define KA2PA(x) (((__address) (x)) - 0x80000000) |
40 | #define PA2KA(x) ((x) + 0x80000000) |
40 | #define PA2KA(x) (((__address) (x)) + 0x80000000) |
41 | 41 | ||
42 | /* |
42 | /* |
43 | * Implementation of generic 4-level page table interface. |
43 | * Implementation of generic 4-level page table interface. |
44 | * IA-32 has 2-level page tables, so PTL1 and PTL2 are left out. |
44 | * IA-32 has 2-level page tables, so PTL1 and PTL2 are left out. |
45 | */ |
45 | */ |