Searched refs:ttbrn (Results 1 – 1 of 1) sorted by relevance
213 static uint64_t regime_ttbr(CPUARMState *env, ARMMMUIdx mmu_idx, int ttbrn) in regime_ttbr() argument221 if (ttbrn == 0) { in regime_ttbr()