MSR_VMX_PINBASED_CTLS
error = vmx_set_ctlreg(MSR_VMX_PINBASED_CTLS,
pin = vmx_settable(basic, MSR_VMX_PINBASED_CTLS,