Rev 831 | Rev 967 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 831 | Rev 832 | ||
|---|---|---|---|
| Line 56... | Line 56... | ||
| 56 | * - PTL1 is not used |
56 | * - PTL1 is not used |
| 57 | * - PTL2 is not used |
57 | * - PTL2 is not used |
| 58 | * - PTL3 has 4096 entries (12 bits) |
58 | * - PTL3 has 4096 entries (12 bits) |
| 59 | */ |
59 | */ |
| 60 | 60 | ||
| - | 61 | #define PTL0_ENTRIES_ARCH 64 |
|
| - | 62 | #define PTL1_ENTRIES_ARCH 0 |
|
| - | 63 | #define PTL2_ENTRIES_ARCH 0 |
|
| - | 64 | #define PTL3_ENTRIES_ARCH 4096 |
|
| - | 65 | ||
| 61 | #define PTL0_INDEX_ARCH(vaddr) ((vaddr)>>26) |
66 | #define PTL0_INDEX_ARCH(vaddr) ((vaddr)>>26) |
| 62 | #define PTL1_INDEX_ARCH(vaddr) 0 |
67 | #define PTL1_INDEX_ARCH(vaddr) 0 |
| 63 | #define PTL2_INDEX_ARCH(vaddr) 0 |
68 | #define PTL2_INDEX_ARCH(vaddr) 0 |
| 64 | #define PTL3_INDEX_ARCH(vaddr) (((vaddr)>>14)&0x3fff) |
69 | #define PTL3_INDEX_ARCH(vaddr) (((vaddr)>>14)&0x3fff) |
| 65 | 70 | ||
| Line 83... | Line 88... | ||
| 83 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) set_pt_flags((pte_t *)(ptl0), (index_t)(i), (x)) |
88 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) set_pt_flags((pte_t *)(ptl0), (index_t)(i), (x)) |
| 84 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
89 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
| 85 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
90 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
| 86 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x)) |
91 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x)) |
| 87 | 92 | ||
| - | 93 | #define PTE_VALID_ARCH(p) (*((__u32 *) (p)) != 0) |
|
| - | 94 | ||
| 88 | #ifndef __ASM__ |
95 | #ifndef __ASM__ |
| 89 | 96 | ||
| 90 | #include <arch/mm/tlb.h> |
97 | #include <arch/mm/tlb.h> |
| 91 | #include <mm/page.h> |
98 | #include <mm/page.h> |
| 92 | #include <arch/mm/frame.h> |
99 | #include <arch/mm/frame.h> |