Searched refs:xlat_arch_tlbi_va_sync (Results 1 – 5 of 5) sorted by relevance
69 void xlat_arch_tlbi_va_sync(void);
628 xlat_arch_tlbi_va_sync(); in xlat_change_mem_attributes_ctx()
1143 xlat_arch_tlbi_va_sync(); in mmap_remove_dynamic_region_ctx()
122 void xlat_arch_tlbi_va_sync(void) in xlat_arch_tlbi_va_sync() function
209 void xlat_arch_tlbi_va_sync(void) in xlat_arch_tlbi_va_sync() function