VMCS_PRI_PROC_BASED_CTLS
VMCS_PRI_PROC_BASED_CTLS, &ctl);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls);
reg = VMCS_PRI_PROC_BASED_CTLS;
reg = VMCS_PRI_PROC_BASED_CTLS;
reg = VMCS_PRI_PROC_BASED_CTLS;
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, proc_ctls);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, proc_ctls);