Rev 135 | Rev 177 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 135 | Rev 169 | ||
---|---|---|---|
Line 35... | Line 35... | ||
35 | #include <arch/types.h> |
35 | #include <arch/types.h> |
36 | #include <arch.h> |
36 | #include <arch.h> |
37 | 37 | ||
38 | #define PAGE_SIZE FRAME_SIZE |
38 | #define PAGE_SIZE FRAME_SIZE |
39 | 39 | ||
40 | #define KA2PA(x) ((x) - 0x80000000) |
40 | #define KA2PA(x) (((__address) (x)) - 0x80000000) |
41 | #define PA2KA(x) ((x) + 0x80000000) |
41 | #define PA2KA(x) (((__address) (x)) + 0x80000000) |
42 | 42 | ||
43 | /* |
43 | /* |
44 | * Implementation of generic 4-level page table interface. |
44 | * Implementation of generic 4-level page table interface. |
45 | * NOTE: this implementation is under construction |
45 | * NOTE: this implementation is under construction |
46 | * |
46 | * |