Searched refs:mmu_tbl2 (Results 1 – 2 of 2) sorted by relevance
144 static uint64_t mmu_tbl2[0x800]; variable182 sect = (uint64_t) mmu_tbl2; in mmu_tbl_init()234 mmu_tbl2[i] = sect + MMU_MEMORY; in mmu_tbl_init()238 mmu_tbl2[i] = sect + MMU_RESERVED; in mmu_tbl_init()243 mmu_tbl2[i] = sect + MMU_DEVICE; in mmu_tbl_init()248 mmu_tbl2[i] = sect + MMU_DEVICE; in mmu_tbl_init()253 mmu_tbl2[i] = sect + MMU_DEVICE; in mmu_tbl_init()258 mmu_tbl2[i] = sect + MMU_RESERVED; in mmu_tbl_init()263 mmu_tbl2[i] = sect + MMU_DEVICE; in mmu_tbl_init()268 mmu_tbl2[i] = sect + MMU_MEMORY; in mmu_tbl_init()
47 .mmu_tbl2 ALIGN(4096) : > .
