Symbol: IA32_VMX_BASIC
sys/arch/amd64/amd64/identcpu.c
1014
msr = rdmsr(IA32_VMX_BASIC);
sys/arch/amd64/amd64/vmm_machdep.c
2027
vcpu->vc_vmx_basic = rdmsr(IA32_VMX_BASIC);