vmx_set_ctlreg
error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS,
error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2,
error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2, MSR_VMX_PROCBASED_CTLS2,
error = vmx_set_ctlreg(MSR_VMX_PINBASED_CTLS,
error = vmx_set_ctlreg(MSR_VMX_EXIT_CTLS, MSR_VMX_TRUE_EXIT_CTLS,
error = vmx_set_ctlreg(MSR_VMX_ENTRY_CTLS, MSR_VMX_TRUE_ENTRY_CTLS,
cap_halt_exit = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS,
cap_monitor_trap = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS,
cap_pause_exit = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS,
cap_wbinvd_exit = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2,
error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2,
cap_unrestricted_guest = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2,
cap_invpcid = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2,
error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS,
error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2, MSR_VMX_PROCBASED_CTLS2,
error = vmx_set_ctlreg(MSR_VMX_PINBASED_CTLS,
int vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask,