Searched refs:regime_ttbr (Results 1 – 1 of 1) sorted by relevance
213 static uint64_t regime_ttbr(CPUARMState *env, ARMMMUIdx mmu_idx, int ttbrn) in regime_ttbr() function906 *table = regime_ttbr(env, mmu_idx, 1) & 0xffffc000; in get_level1_table_address()913 *table = regime_ttbr(env, mmu_idx, 0) & base_mask; in get_level1_table_address()1786 ttbr = regime_ttbr(env, mmu_idx, param.select); in get_phys_addr_lpae()