Searched refs:mmu_tbl1 (Results 1 – 2 of 2) sorted by relevance
142 static uint64_t mmu_tbl1[0x400]; variable177 mmu_tbl0[0] = ((uint64_t) mmu_tbl1) + 0x3; in mmu_tbl_init()179 mmu_tbl0[1] = ((uint64_t) mmu_tbl1) + 0x1000 + 0x3; in mmu_tbl_init()186 mmu_tbl1[i] = sect + 0x3; in mmu_tbl_init()192 mmu_tbl1[i] = sect + MMU_RESERVED; in mmu_tbl_init()197 mmu_tbl1[i] = sect + MMU_DEVICE; in mmu_tbl_init()204 mmu_tbl1[i] = sect + MMU_MEMORY; in mmu_tbl_init()209 mmu_tbl1[i] = sect + MMU_RESERVED; in mmu_tbl_init()215 mmu_tbl1[i] = sect + MMU_DEVICE; in mmu_tbl_init()220 mmu_tbl1[i] = sect + MMU_DEVICE; in mmu_tbl_init()[all …]
46 .mmu_tbl1 ALIGN(4096) : > .
