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