Rev 534 | Rev 684 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 534 | Rev 537 | ||
---|---|---|---|
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) (((__address) (x))-0x8000000000000000) |
37 | #define KA2PA(x) ((__address) (x)) |
38 | #define PA2KA(x) (((__address) (x))+0x8000000000000000) |
38 | #define PA2KA(x) ((__address) (x)) |
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. |