Searched refs:aa64_va_parameter_tbid (Results 1 – 4 of 4) sorted by relevance
218 tbii = tbid & ~aa64_va_parameter_tbid(tcr, mmu_idx); in rebuild_hflags_a64()
1345 int aa64_va_parameter_tbid(uint64_t tcr, ARMMMUIdx mmu_idx);
3235 tbi &= ~aa64_va_parameter_tbid(tcr, mmu_idx); in get_phys_addr_disabled()
11906 int aa64_va_parameter_tbid(uint64_t tcr, ARMMMUIdx mmu_idx) in aa64_va_parameter_tbid() function12133 tbi &= ~aa64_va_parameter_tbid(tcr, mmu_idx); in aa64_va_parameters()