Searched refs:mmu_tbl0 (Results 1 – 2 of 2) sorted by relevance
138 static uint64_t mmu_tbl0[2]; 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()280 __MSR(__TTBR0_EL3, (uint64_t) mmu_tbl0); in tx_caches_enable()
45 .mmu_tbl0 ALIGN(4096) : > .
