VCPU_REGS_RFLAGS
.vrs_gprs[VCPU_REGS_RFLAGS] = 0x2,
if (vmread(VMCS_GUEST_IA32_RFLAGS, &gprs[VCPU_REGS_RFLAGS]))
gprs[VCPU_REGS_RFLAGS] = vmcb->v_rflags;
if (vmwrite(VMCS_GUEST_IA32_RFLAGS, gprs[VCPU_REGS_RFLAGS]))
vmcb->v_rflags = gprs[VCPU_REGS_RFLAGS];
#define VCPU_REGS_NGPRS (VCPU_REGS_RFLAGS + 1)
case VCPU_REGS_RFLAGS: return "RFLAGS";
rflags = vrs->vrs_gprs[VCPU_REGS_RFLAGS];
.vrs_gprs[VCPU_REGS_RFLAGS] = 0x2,
.vrs_gprs[VCPU_REGS_RFLAGS] = 0x2,