Searched refs:icache_is_vpipt (Results 1 – 4 of 4) sorted by relevance
106 if (icache_is_vpipt()) in __kvm_tlb_flush_vmid_ipa()157 if (icache_is_vpipt()) in __kvm_flush_vm_context()
63 static __always_inline int icache_is_vpipt(void) in icache_is_vpipt() function
217 } else if (is_kernel_in_hyp_mode() || !icache_is_vpipt()) { in __invalidate_icache_guest_page()
159 if (icache_is_vpipt()) in __kvm_flush_vm_context()