VMCS_SEC_PROC_BASED_CTLS
VMCS_SEC_PROC_BASED_CTLS, &ctl);
reg = VMCS_SEC_PROC_BASED_CTLS;
vmcs_write(VMCS_SEC_PROC_BASED_CTLS, proc_ctls2);
vmcs_write(VMCS_SEC_PROC_BASED_CTLS, use_proc2_ctls);