Rev 537 | Rev 691 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 537 | Rev 684 | ||
---|---|---|---|
Line 35... | Line 35... | ||
35 | #define PAGE_SIZE FRAME_SIZE |
35 | #define PAGE_SIZE FRAME_SIZE |
36 | 36 | ||
37 | #define KA2PA(x) ((__address) (x)) |
37 | #define KA2PA(x) ((__address) (x)) |
38 | #define PA2KA(x) ((__address) (x)) |
38 | #define PA2KA(x) ((__address) (x)) |
39 | 39 | ||
40 | #define page_arch_init() ; |
- | |
41 | - | ||
42 | /* |
40 | /* |
43 | * Implementation of generic 4-level page table interface. |
41 | * Implementation of generic 4-level page table interface. |
44 | * TODO: this is a fake implementation provided to satisfy the compiler |
42 | * TODO: this is a fake implementation provided to satisfy the compiler |
45 | */ |
43 | */ |
46 | #define PTL0_INDEX_ARCH(vaddr) 0 |
44 | #define PTL0_INDEX_ARCH(vaddr) 0 |
Line 68... | Line 66... | ||
68 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) |
66 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) |
69 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
67 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
70 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
68 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
71 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
69 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) |
72 | 70 | ||
- | 71 | extern void page_arch_init(void); |
|
- | 72 | ||
73 | #endif |
73 | #endif |