Symbol: IA32_VMX_TRUE_PINBASED_CTLS
sys/arch/amd64/amd64/vmm_machdep.c
2038
rdmsr(IA32_VMX_TRUE_PINBASED_CTLS);
sys/arch/amd64/amd64/vmm_machdep.c
2060
ctrl = IA32_VMX_TRUE_PINBASED_CTLS;
sys/arch/amd64/amd64/vmm_machdep.c
3239
case IA32_VMX_TRUE_PINBASED_CTLS: