VCPU_REGS_DR6
.vrs_drs[VCPU_REGS_DR6] = 0xFFFF0FF0,
drs[VCPU_REGS_DR6] = vcpu->vc_gueststate.vg_dr6;
drs[VCPU_REGS_DR6] = vmcb->v_dr6;
if ((drs[VCPU_REGS_DR6] & 0xffffffff00000000) != 0)
vcpu->vc_gueststate.vg_dr6 = drs[VCPU_REGS_DR6];
if ((drs[VCPU_REGS_DR6] & 0xffffffff00000000) != 0)
vmcb->v_dr6 = drs[VCPU_REGS_DR6];
.vrs_drs[VCPU_REGS_DR6] = 0xFFFF0FF0,
.vrs_drs[VCPU_REGS_DR6] = 0xFFFF0FF0,