vmwrite
if (vmwrite(VMCS_GUEST_IA32_RIP, gprs[VCPU_REGS_RIP]))
if (vmwrite(VMCS_GUEST_IA32_RSP, gprs[VCPU_REGS_RSP]))
if (vmwrite(VMCS_GUEST_IA32_RFLAGS, gprs[VCPU_REGS_RFLAGS]))
if (vmwrite(vmm_vmx_sreg_vmcs_fields[i].selid, sel))
if (vmwrite(vmm_vmx_sreg_vmcs_fields[i].limitid, limit))
if (vmwrite(vmm_vmx_sreg_vmcs_fields[i].arid, ar))
if (vmwrite(vmm_vmx_sreg_vmcs_fields[i].baseid,
if (vmwrite(VMCS_GUEST_IA32_GDTR_LIMIT,
if (vmwrite(VMCS_GUEST_IA32_GDTR_BASE,
if (vmwrite(VMCS_GUEST_IA32_IDTR_LIMIT,
if (vmwrite(VMCS_GUEST_IA32_IDTR_BASE,
if (vmwrite(VMCS_GUEST_IA32_CR0, crs[VCPU_REGS_CR0]))
if (vmwrite(VMCS_GUEST_IA32_CR3, crs[VCPU_REGS_CR3]))
if (vmwrite(VMCS_GUEST_IA32_CR4, crs[VCPU_REGS_CR4]))
if (vmwrite(VMCS_GUEST_PDPTE0, crs[VCPU_REGS_PDPTE0]))
if (vmwrite(VMCS_GUEST_PDPTE1, crs[VCPU_REGS_PDPTE1]))
if (vmwrite(VMCS_GUEST_PDPTE2, crs[VCPU_REGS_PDPTE2]))
if (vmwrite(VMCS_GUEST_PDPTE3, crs[VCPU_REGS_PDPTE3]))
if (vmwrite(VMCS_GUEST_IA32_DR7, drs[VCPU_REGS_DR7]))
if (vmwrite(VMCS_PINBASED_CTLS, pinbased)) {
if (vmwrite(VMCS_PROCBASED_CTLS, procbased)) {
if (vmwrite(VMCS_PROCBASED2_CTLS, procbased2)) {
if (vmwrite(VMCS_EXIT_CTLS, exit)) {
if (vmwrite(VMCS_ENTRY_CTLS, entry)) {
if (vmwrite(VMCS_GUEST_VPID, vcpu->vc_vpid)) {
if (vmwrite(VMCS_GUEST_PDPTE0,
if (vmwrite(VMCS_GUEST_PDPTE1,
if (vmwrite(VMCS_GUEST_PDPTE2,
if (vmwrite(VMCS_GUEST_PDPTE3,
if (vmwrite(VMCS_EXIT_MSR_STORE_COUNT, VCPU_REGS_NMSRS)) {
if (vmwrite(VMCS_EXIT_MSR_LOAD_COUNT, VCPU_HOST_REGS_NMSRS)) {
if (vmwrite(VMCS_ENTRY_MSR_LOAD_COUNT, VCPU_REGS_NMSRS)) {
if (vmwrite(VMCS_EXIT_STORE_MSR_ADDRESS,
if (vmwrite(VMCS_EXIT_LOAD_MSR_ADDRESS,
if (vmwrite(VMCS_ENTRY_LOAD_MSR_ADDRESS,
if (vmwrite(VMCS_MSR_BITMAP_ADDRESS,
if (vmwrite(VMCS_CR4_MASK, CR4_VMXE)) {
if (vmwrite(VMCS_CR0_MASK, CR0_NE)) {
if (vmwrite(VMCS_GUEST_IA32_EPTP, eptp)) {
if (vmwrite(VMCS_HOST_IA32_CR0, cr0)) {
if (vmwrite(VMCS_HOST_IA32_CR4, cr4)) {
if (vmwrite(VMCS_HOST_IA32_CS_SEL, GSEL(GCODE_SEL, SEL_KPL))) {
if (vmwrite(VMCS_HOST_IA32_DS_SEL, GSEL(GDATA_SEL, SEL_KPL))) {
if (vmwrite(VMCS_HOST_IA32_ES_SEL, GSEL(GDATA_SEL, SEL_KPL))) {
if (vmwrite(VMCS_HOST_IA32_FS_SEL, GSEL(GDATA_SEL, SEL_KPL))) {
if (vmwrite(VMCS_HOST_IA32_GS_SEL, GSEL(GDATA_SEL, SEL_KPL))) {
if (vmwrite(VMCS_HOST_IA32_SS_SEL, GSEL(GDATA_SEL, SEL_KPL))) {
if (vmwrite(VMCS_HOST_IA32_TR_SEL, GSYSSEL(GPROC0_SEL, SEL_KPL))) {
if (vmwrite(VMCS_HOST_IA32_IDTR_BASE, idt_vaddr)) {
if (vmwrite(VMCS_LINK_POINTER, VMX_VMCS_PA_CLEAR)) {
if (vmwrite(VMCS_GUEST_IA32_RIP, vcpu->vc_gueststate.vg_rip)) {
if (vmwrite(VMCS_ENTRY_INTERRUPTION_INFO, eii)) {
if (vmwrite(VMCS_PROCBASED_CTLS, procbased)) {
if (vmwrite(VMCS_HOST_IA32_CR3, cr3)) {
if (vmwrite(VMCS_HOST_IA32_GDTR_BASE, gdt.rd_base)) {
if (vmwrite(VMCS_HOST_IA32_TR_BASE,
if (vmwrite(VMCS_HOST_IA32_GS_BASE, (uint64_t)ci)) {
if (vmwrite(VMCS_HOST_IA32_FS_BASE, msr)) {
if (vmwrite(VMCS_ENTRY_EXCEPTION_ERROR_CODE,
if (vmwrite(VMCS_ENTRY_INTERRUPTION_INFO, eii)) {
if (vmwrite(VMCS_PROCBASED_CTLS, procbased)) {
if (vmwrite(VMCS_GUEST_IA32_RIP,
if (vmwrite(VMCS_GUEST_INTERRUPTIBILITY_ST,
if (vmwrite(VMCS_GUEST_PDPTE0, 0)) {
if (vmwrite(VMCS_GUEST_PDPTE1, 0)) {
if (vmwrite(VMCS_GUEST_PDPTE2, 0)) {
if (vmwrite(VMCS_GUEST_PDPTE3, 0)) {
if (vmwrite(VMCS_GUEST_PDPTE0, pdptes[0])) {
if (vmwrite(VMCS_GUEST_PDPTE1, pdptes[1])) {
if (vmwrite(VMCS_GUEST_PDPTE2, pdptes[2])) {
if (vmwrite(VMCS_GUEST_PDPTE3, pdptes[3])) {
if (vmwrite(VMCS_GUEST_IA32_CR0, r)) {
if (vmwrite(VMCS_ENTRY_CTLS, ectls)) {
if (vmwrite(VMCS_GUEST_IA32_CR4, r)) {
int vmwrite(uint64_t, uint64_t);