vmwrite
error = vmwrite(encoding, val);
if ((error = vmwrite(base, desc->base)) != 0)
if ((error = vmwrite(limit, desc->limit)) != 0)
if ((error = vmwrite(access, desc->access)) != 0)
if ((error = vmwrite(VMCS_EXIT_MSR_STORE, g_area)) != 0)
if ((error = vmwrite(VMCS_EXIT_MSR_STORE_COUNT, g_count)) != 0)
if ((error = vmwrite(VMCS_ENTRY_MSR_LOAD, g_area)) != 0)
if ((error = vmwrite(VMCS_ENTRY_MSR_LOAD_COUNT, g_count)) != 0)
if ((error = vmwrite(VMCS_HOST_IA32_PAT, pat)) != 0)
if ((error = vmwrite(VMCS_HOST_IA32_EFER, efer)) != 0)
if ((error = vmwrite(VMCS_HOST_CR0, cr0)) != 0)
if ((error = vmwrite(VMCS_HOST_CR4, cr4)) != 0)
if ((error = vmwrite(VMCS_HOST_ES_SELECTOR, datasel)) != 0)
if ((error = vmwrite(VMCS_HOST_CS_SELECTOR, codesel)) != 0)
if ((error = vmwrite(VMCS_HOST_SS_SELECTOR, datasel)) != 0)
if ((error = vmwrite(VMCS_HOST_DS_SELECTOR, datasel)) != 0)
if ((error = vmwrite(VMCS_HOST_FS_SELECTOR, datasel)) != 0)
if ((error = vmwrite(VMCS_HOST_GS_SELECTOR, datasel)) != 0)
if ((error = vmwrite(VMCS_HOST_TR_SELECTOR, tsssel)) != 0)
if ((error = vmwrite(VMCS_HOST_FS_BASE, fsbase)) != 0)
if ((error = vmwrite(VMCS_HOST_IDTR_BASE, idtrbase)) != 0)
if ((error = vmwrite(VMCS_HOST_RIP,
if ((error = vmwrite(VMCS_HOST_RIP,
if ((error = vmwrite(VMCS_LINK_POINTER, ~0)) != 0)
error = vmwrite(ident, val);
error = vmwrite(encoding, val);
error += vmwrite(VMCS_HOST_RSP, (u_long)&vcpu->ctx);
error += vmwrite(VMCS_EPTP, vmx->eptp);
error += vmwrite(VMCS_PIN_BASED_CTLS, pinbased_ctls);
error += vmwrite(VMCS_PRI_PROC_BASED_CTLS, procbased_ctls);
error += vmwrite(VMCS_SEC_PROC_BASED_CTLS, procbased_ctls2);
error += vmwrite(VMCS_EXIT_CTLS, exit_ctls);
error += vmwrite(VMCS_ENTRY_CTLS, entry_ctls);
error += vmwrite(VMCS_MSR_BITMAP, vtophys(vmx->msr_bitmap));
error += vmwrite(VMCS_VPID, vpid);
error += vmwrite(VMCS_EXCEPTION_BITMAP, exc_bitmap);
error += vmwrite(VMCS_GUEST_DR7, DBREG_DR7_RESERVED1);
error += vmwrite(VMCS_VIRTUAL_APIC, vtophys(vcpu->apic_page));
error += vmwrite(VMCS_APIC_ACCESS, APIC_ACCESS_ADDRESS);
error += vmwrite(VMCS_EOI_EXIT0, 0);
error += vmwrite(VMCS_EOI_EXIT1, 0);
error += vmwrite(VMCS_EOI_EXIT2, 0);
error += vmwrite(VMCS_EOI_EXIT3, 0);
error += vmwrite(VMCS_PIR_VECTOR, pirvec);
error += vmwrite(VMCS_PIR_DESC, vtophys(vcpu->pir_desc));
error = vmwrite(VMCS_TSC_OFFSET, offset);
error = vmwrite(reg, baseval);