Searched refs:mmu_tbl2 (Results 1 – 2 of 2) sorted by relevance
145 static uint64_t mmu_tbl2[0x800]; variable183 sect = (uint64_t) mmu_tbl2; in mmu_tbl_init()235 mmu_tbl2[i] = sect + MMU_MEMORY; in mmu_tbl_init()239 mmu_tbl2[i] = sect + MMU_RESERVED; in mmu_tbl_init()244 mmu_tbl2[i] = sect + MMU_DEVICE; in mmu_tbl_init()249 mmu_tbl2[i] = sect + MMU_DEVICE; in mmu_tbl_init()254 mmu_tbl2[i] = sect + MMU_DEVICE; in mmu_tbl_init()259 mmu_tbl2[i] = sect + MMU_RESERVED; in mmu_tbl_init()264 mmu_tbl2[i] = sect + MMU_DEVICE; in mmu_tbl_init()269 mmu_tbl2[i] = sect + MMU_MEMORY; in mmu_tbl_init()
47 .mmu_tbl2 ALIGN(4096) : > .