Searched refs:base_xlat_table (Results 1 – 2 of 2) sorted by relevance
363 uint64_t *table = ptables->base_xlat_table; in set_mapping()438 table = ptables->base_xlat_table; in set_mapping()630 __MSR(TTBR0_EL1, (uint64_t)ptables->base_xlat_table); in enable_mmu_el1()676 kernel_ptables.base_xlat_table = new_table(); in ARM_MMU_Initialize()
220 uint64_t *base_xlat_table; member
