Symbol: pv_tlb_flush_supported
arch/x86/kernel/kvm.c
698
if (pv_tlb_flush_supported() || pv_ipi_supported())
arch/x86/kernel/kvm.c
855
if (pv_tlb_flush_supported()) {