Symbol: vmx_has_waitpkg
arch/x86/kvm/vmx/vmx.c
2150
if (!msr_info->host_initiated && !vmx_has_waitpkg(vmx))
arch/x86/kvm/vmx/vmx.c
2426
if (!msr_info->host_initiated && !vmx_has_waitpkg(vmx))