Searched refs:__tlbi_sync_s1ish_kernel (Results 1 – 1 of 1) sorted by relevance
263 static inline void __tlbi_sync_s1ish_kernel(void) in __tlbi_sync_s1ish_kernel() function372 __tlbi_sync_s1ish_kernel(); in flush_tlb_all()668 __tlbi_sync_s1ish_kernel(); in flush_tlb_kernel_range()682 __tlbi_sync_s1ish_kernel(); in __flush_tlb_kernel_pgtable()