VMCS_PRI_PROC_BASED_CTLS
error += vmwrite(VMCS_PRI_PROC_BASED_CTLS, procbased_ctls);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls);
vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.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_PRI_PROC_BASED_CTLS, &ctl);