vmread
if (vmread(VMCS_GUEST_IA32_RSP, &gprs[VCPU_REGS_RSP]))
if (vmread(VMCS_GUEST_IA32_RFLAGS, &gprs[VCPU_REGS_RFLAGS]))
if (vmread(vmm_vmx_sreg_vmcs_fields[i].selid, &sel))
if (vmread(vmm_vmx_sreg_vmcs_fields[i].limitid, &limit))
if (vmread(vmm_vmx_sreg_vmcs_fields[i].arid, &ar))
if (vmread(vmm_vmx_sreg_vmcs_fields[i].baseid,
if (vmread(VMCS_GUEST_IA32_GDTR_LIMIT, &limit))
if (vmread(VMCS_GUEST_IA32_GDTR_BASE,
if (vmread(VMCS_GUEST_IA32_IDTR_LIMIT, &limit))
if (vmread(VMCS_GUEST_IA32_IDTR_BASE,
if (vmread(VMCS_GUEST_IA32_CR0, &crs[VCPU_REGS_CR0]))
if (vmread(VMCS_GUEST_IA32_CR3, &crs[VCPU_REGS_CR3]))
if (vmread(VMCS_GUEST_IA32_CR4, &crs[VCPU_REGS_CR4]))
if (vmread(VMCS_GUEST_PDPTE0, &crs[VCPU_REGS_PDPTE0]))
if (vmread(VMCS_GUEST_PDPTE1, &crs[VCPU_REGS_PDPTE1]))
if (vmread(VMCS_GUEST_PDPTE2, &crs[VCPU_REGS_PDPTE2]))
if (vmread(VMCS_GUEST_PDPTE3, &crs[VCPU_REGS_PDPTE3]))
if (vmread(VMCS_GUEST_IA32_DR7, &drs[VCPU_REGS_DR7]))
if (vmread(VMCS_GUEST_INTERRUPTIBILITY_ST, &int_st)) {
if (vmread(VMCS_PROCBASED_CTLS, &procbased)) {
if (vmread(VMCS_GUEST_IA32_CR0, &cr0)) {
if (vmread(VMCS_GUEST_IA32_RFLAGS,
if (vmread(VMCS_PROCBASED_CTLS, &procbased)) {
if (vmread(VMCS_INSTRUCTION_ERROR, &insn_error)) {
if (vmread(VMCS_EXIT_INTERRUPTION_INFO, &eii)) {
if (vmread(VMCS_INSTRUCTION_LENGTH, &insn_length)) {
if (vmread(VMCS_GUEST_IA32_RFLAGS, &rflags)) {
if (vmread(VMCS_GUEST_IA32_RIP, rip) == 0) {
if (vmread(VMCS_EXIT_REASON, exit_reason) == 0)
if (vmread(VMCS_GUEST_INTERRUPTIBILITY_ST,
if (vmread(VMCS_GUEST_EXIT_QUALIFICATION, exit_qualification)) {
if (vmread(VMCS_GUEST_PHYSICAL_ADDRESS, &gpa)) {
if (vmread(VMCS_INSTRUCTION_LENGTH, &insn_len) ||
if (vmread(VMCS_GUEST_IA32_SS_AR, &ss_ar))
if (vmread(VMCS_GUEST_IA32_CR0, &cr0))
if (vmread(VMCS_GUEST_IA32_CS_AR, &cs_ar))
if (vmread(VMCS_INSTRUCTION_LENGTH, &insn_length)) {
if (vmread(VMCS_GUEST_IA32_CR3, &cr3)) {
if (vmread(VMCS_GUEST_IA32_CR0, &oldcr0)) {
if (vmread(VMCS_ENTRY_CTLS, &ectls)) {
if (vmread(VMCS_GUEST_IA32_CR4, &cr4)) {
if (vmread(VMCS_INSTRUCTION_LENGTH, &insn_length)) {
case 4: if (vmread(VMCS_GUEST_IA32_RSP, &r)) {
if (vmread(VMCS_INSTRUCTION_LENGTH, &insn_length)) {
if (vmread(VMCS_INSTRUCTION_LENGTH, &insn_length)) {
if (vmread(VMCS_INSTRUCTION_LENGTH, &insn_length)) {
if (vmread(VMCS_INSTRUCTION_LENGTH, &insn_length)) {
if (vmread(VMCS_GUEST_IA32_CR4, &cr4)) {
if (vmread(fieldid, &val))
if (vmread(VMCS_GUEST_IA32_RSP, &r))
if (vmread(VMCS_GUEST_IA32_RFLAGS, &r))
if (vmread(VMCS_GUEST_IA32_CR0, &r))
if (vmread(VMCS_GUEST_IA32_CR3, &r))
if (vmread(VMCS_GUEST_IA32_CR4, &r))
if (vmread(VMCS_GUEST_IA32_CS_SEL, &r))
if (vmread(VMCS_GUEST_IA32_CS_BASE, &r))
if (vmread(VMCS_GUEST_IA32_CS_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_CS_AR, &r))
if (vmread(VMCS_GUEST_IA32_DS_SEL, &r))
if (vmread(VMCS_GUEST_IA32_DS_BASE, &r))
if (vmread(VMCS_GUEST_IA32_DS_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_DS_AR, &r))
if (vmread(VMCS_GUEST_IA32_ES_SEL, &r))
if (vmread(VMCS_GUEST_IA32_ES_BASE, &r))
if (vmread(VMCS_GUEST_IA32_ES_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_ES_AR, &r))
if (vmread(VMCS_GUEST_IA32_FS_SEL, &r))
if (vmread(VMCS_GUEST_IA32_FS_BASE, &r))
if (vmread(VMCS_GUEST_IA32_FS_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_FS_AR, &r))
if (vmread(VMCS_GUEST_IA32_GS_SEL, &r))
if (vmread(VMCS_GUEST_IA32_GS_BASE, &r))
if (vmread(VMCS_GUEST_IA32_GS_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_GS_AR, &r))
if (vmread(VMCS_GUEST_IA32_SS_SEL, &r))
if (vmread(VMCS_GUEST_IA32_SS_BASE, &r))
if (vmread(VMCS_GUEST_IA32_SS_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_SS_AR, &r))
if (vmread(VMCS_GUEST_IA32_TR_SEL, &r))
if (vmread(VMCS_GUEST_IA32_TR_BASE, &r))
if (vmread(VMCS_GUEST_IA32_TR_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_TR_AR, &r))
if (vmread(VMCS_GUEST_IA32_GDTR_BASE, &r))
if (vmread(VMCS_GUEST_IA32_GDTR_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_IDTR_BASE, &r))
if (vmread(VMCS_GUEST_IA32_IDTR_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_LDTR_SEL, &r))
if (vmread(VMCS_GUEST_IA32_LDTR_BASE, &r))
if (vmread(VMCS_GUEST_IA32_LDTR_LIMIT, &r))
if (vmread(VMCS_GUEST_IA32_LDTR_AR, &r))
if (vmread(VMCS_GUEST_IA32_CR4, &cr4)) {
int vmread(uint64_t, uint64_t *);