Searched refs:__tlbi_sync_s1ish_kernel (Results 1 – 1 of 1) sorted by relevance
295 static inline void __tlbi_sync_s1ish_kernel(void) in __tlbi_sync_s1ish_kernel() function404 __tlbi_sync_s1ish_kernel(); in flush_tlb_all()700 __tlbi_sync_s1ish_kernel(); in flush_tlb_kernel_range()714 __tlbi_sync_s1ish_kernel(); in __flush_tlb_kernel_pgtable()