Searched refs:aa64_va_parameter_tbi (Results 1 – 4 of 4) sorted by relevance
217 tbid = aa64_va_parameter_tbi(tcr, mmu_idx); in rebuild_hflags_a64()
1344 int aa64_va_parameter_tbi(uint64_t tcr, ARMMMUIdx mmu_idx);
3233 tbi = aa64_va_parameter_tbi(tcr, mmu_idx); in get_phys_addr_disabled()
4950 int tbi = aa64_va_parameter_tbi(tcr, mmu_idx); in tlbbits_for_regime()11894 int aa64_va_parameter_tbi(uint64_t tcr, ARMMMUIdx mmu_idx) in aa64_va_parameter_tbi() function12131 tbi = aa64_va_parameter_tbi(tcr, mmu_idx); in aa64_va_parameters()