VCPU_REGS_DR7
.vrs_drs[VCPU_REGS_DR7] = 0x400,
if (vmread(VMCS_GUEST_IA32_DR7, &drs[VCPU_REGS_DR7]))
drs[VCPU_REGS_DR7] = vmcb->v_dr7;
if (vmwrite(VMCS_GUEST_IA32_DR7, drs[VCPU_REGS_DR7]))
vmcb->v_dr7 = drs[VCPU_REGS_DR7];
#define VCPU_REGS_NDRS (VCPU_REGS_DR7 + 1)
.vrs_drs[VCPU_REGS_DR7] = 0x400,
.vrs_drs[VCPU_REGS_DR7] = 0x400,