VMCS_SEC_PROC_BASED_CTLS
error += vmwrite(VMCS_SEC_PROC_BASED_CTLS, procbased_ctls2);
reg = VMCS_SEC_PROC_BASED_CTLS;
reg = VMCS_SEC_PROC_BASED_CTLS;
vmcs_write(VMCS_SEC_PROC_BASED_CTLS, proc_ctls2);
VMCS_SEC_PROC_BASED_CTLS, &ctl);