Searched refs:mmu_tbl1 (Results 1 – 2 of 2) sorted by relevance
141 static uint64_t mmu_tbl1[0x400]; variable176 mmu_tbl0[0] = ((uint64_t) mmu_tbl1) + 0x3; in mmu_tbl_init()178 mmu_tbl0[1] = ((uint64_t) mmu_tbl1) + 0x1000 + 0x3; in mmu_tbl_init()185 mmu_tbl1[i] = sect + 0x3; in mmu_tbl_init()191 mmu_tbl1[i] = sect + MMU_RESERVED; in mmu_tbl_init()196 mmu_tbl1[i] = sect + MMU_DEVICE; in mmu_tbl_init()203 mmu_tbl1[i] = sect + MMU_MEMORY; in mmu_tbl_init()208 mmu_tbl1[i] = sect + MMU_RESERVED; in mmu_tbl_init()214 mmu_tbl1[i] = sect + MMU_DEVICE; in mmu_tbl_init()219 mmu_tbl1[i] = sect + MMU_DEVICE; in mmu_tbl_init()[all …]
46 .mmu_tbl1 ALIGN(4096) : > .
