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