Searched refs:aa64_va_parameter_tcma (Results 1 – 3 of 3) sorted by relevance
404 DP_TBFLAG_A64(flags, TCMA, aa64_va_parameter_tcma(tcr, mmu_idx)); in rebuild_hflags_a64()
1346 int aa64_va_parameter_tcma(uint64_t tcr, ARMMMUIdx mmu_idx);
11918 int aa64_va_parameter_tcma(uint64_t tcr, ARMMMUIdx mmu_idx) in aa64_va_parameter_tcma() function