Searched refs:xlat_arch_tlbi_va_sync (Results 1 – 4 of 4) sorted by relevance
60 void xlat_arch_tlbi_va_sync(void);
984 xlat_arch_tlbi_va_sync(); in mmap_remove_dynamic_region_ctx()1650 xlat_arch_tlbi_va_sync(); in change_mem_attributes()
52 void xlat_arch_tlbi_va_sync(void) in xlat_arch_tlbi_va_sync() function
116 void xlat_arch_tlbi_va_sync(void) in xlat_arch_tlbi_va_sync() function