22 #include <linux/types.h>
25 #define HW_MMU_TRANSLATION_FAULT 0x2
26 #define HW_MMU_ALL_INTERRUPTS 0x1F
28 #define HW_MMU_COARSE_PAGE_SIZE 0x400
50 u32 num_locked_entries);
53 u32 victim_entry_num);
99 static inline u32 hw_mmu_pte_addr_l1(
u32 l1_base,
u32 va)
104 va31_to20 = va >> (20 - 2);
105 va31_to20 &= 0xFFFFFFFC
UL;
106 pte_addr = l1_base + va31_to20;
111 static inline u32 hw_mmu_pte_addr_l2(
u32 l2_base,
u32 va)
115 pte_addr = (l2_base & 0xFFFFFC00) | ((va >> 10) & 0x3FC);
124 pte_coarse = pte_val & 0xFFFFFC00;
133 if ((pte_val & 0x3) == 0x1) {
138 if ((pte_val & 0x3) == 0x2) {
139 if (pte_val & (1 << 18))
148 static inline u32 hw_mmu_pte_size_l2(
u32 pte_val)
154 else if (pte_val & 0x1)