Searched refs:xlat_arch_tlbi_va_regime (Results 1 – 4 of 4) sorted by relevance
84 xlat_arch_tlbi_va_regime(va, EL1_EL0_REGIME); in xlat_arch_tlbi_va()87 xlat_arch_tlbi_va_regime(va, EL3_REGIME); in xlat_arch_tlbi_va()91 void xlat_arch_tlbi_va_regime(uintptr_t va, xlat_regime_t xlat_regime) in xlat_arch_tlbi_va_regime() function
54 void xlat_arch_tlbi_va_regime(uintptr_t va, xlat_regime_t xlat_regime);
341 xlat_arch_tlbi_va_regime(table_idx_va, ctx->xlat_regime); in xlat_tables_unmap_region()357 xlat_arch_tlbi_va_regime(table_idx_va, in xlat_tables_unmap_region()1647 xlat_arch_tlbi_va_regime(base_va, ctx->xlat_regime); in change_mem_attributes()
41 void xlat_arch_tlbi_va_regime(uintptr_t va, xlat_regime_t xlat_regime __unused) in xlat_arch_tlbi_va_regime() function