Searched refs:icache_is_vpipt (Results 1 – 3 of 3) sorted by relevance
69 static inline int icache_is_vpipt(void) in icache_is_vpipt() function
292 } else if (is_kernel_in_hyp_mode() || !icache_is_vpipt()) {
117 if (!has_vhe() && icache_is_vpipt()) in __kvm_tlb_flush_vmid_ipa()
