Symbol: VMX_BASIC_32BIT_PHYS_ADDR_ONLY
arch/x86/kvm/vmx/nested.c
1317
if (data & VMX_BASIC_32BIT_PHYS_ADDR_ONLY)
arch/x86/kvm/vmx/vmx.c
2894
if (basic_msr & VMX_BASIC_32BIT_PHYS_ADDR_ONLY)