Symbol: MSR_VMX_PROCBASED_CTLS2
sys/platform/pc64/x86_64/identcpu.c
1357
proc2_ctls = vmx_settable(basic, MSR_VMX_PROCBASED_CTLS2,
sys/platform/pc64/x86_64/identcpu.c
1358
MSR_VMX_PROCBASED_CTLS2);