Rev 125 | Rev 391 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 125 | Rev 169 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | #include <arch/types.h> |
32 | #include <arch/types.h> |
33 | #include <arch/mm/frame.h> |
33 | #include <arch/mm/frame.h> |
34 | 34 | ||
35 | #define PAGE_SIZE FRAME_SIZE |
35 | #define PAGE_SIZE FRAME_SIZE |
36 | 36 | ||
37 | #define KA2PA(x) ((x)-0x8000000000000000) |
37 | #define KA2PA(x) (((__address) (x))-0x8000000000000000) |
38 | #define PA2KA(x) ((x)+0x8000000000000000) |
38 | #define PA2KA(x) (((__address) (x))+0x8000000000000000) |
39 | 39 | ||
40 | #define page_arch_init() ; |
40 | #define page_arch_init() ; |
41 | 41 | ||
42 | /* |
42 | /* |
43 | * Implementation of generic 4-level page table interface. |
43 | * Implementation of generic 4-level page table interface. |