Searched refs:xlat_arch_tlbi_va (Results 1 – 3 of 3) sorted by relevance
53 void xlat_arch_tlbi_va(uintptr_t va);
30 void xlat_arch_tlbi_va(uintptr_t va) in xlat_arch_tlbi_va() function
80 void xlat_arch_tlbi_va(uintptr_t va) in xlat_arch_tlbi_va() function