3595                              MMUAccessType access_type, ARMMMUIdx mmu_idx,  in do_ats_write()
3772     ARMMMUIdx mmu_idx;  in ats_write()  local
3899     ARMMMUIdx mmu_idx;  in ats_write64()  local
4946 static int tlbbits_for_regime(CPUARMState *env, ARMMMUIdx mmu_idx,  in tlbbits_for_regime()
4959     ARMMMUIdx mmu_idx;  in vae1_tlbbits()  local
4976     ARMMMUIdx mmu_idx;  in vae2_tlbbits()  local
11878         ARMMMUIdx mmu_idx = arm_mmu_idx_el(env, 0);  in arm_sctlr()  local
11894 int aa64_va_parameter_tbi(uint64_t tcr, ARMMMUIdx mmu_idx)  in aa64_va_parameter_tbi()
11906 int aa64_va_parameter_tbid(uint64_t tcr, ARMMMUIdx mmu_idx)  in aa64_va_parameter_tbid()
11918 int aa64_va_parameter_tcma(uint64_t tcr, ARMMMUIdx mmu_idx)  in aa64_va_parameter_tcma()
12013                                    ARMMMUIdx mmu_idx, bool data,  in aa64_va_parameters()
12548 int arm_mmu_idx_to_el(ARMMMUIdx mmu_idx)  in arm_mmu_idx_to_el()