VM_REG_GUEST_DR7
if ((error = vm_set_register(vcpu, VM_REG_GUEST_DR7, 0x400)) !=
err += svm_snapshot_reg(vcpu, VM_REG_GUEST_DR7, meta);
case VM_REG_GUEST_DR7:
case VM_REG_GUEST_DR7:
case VM_REG_GUEST_DR7:
err += vmcs_snapshot_reg(vmcs, run, VM_REG_GUEST_DR7, meta);
error = vm_set_register(vcpu, VM_REG_GUEST_DR7, set_dr7_val);
error = vm_get_register(vcpu, VM_REG_GUEST_DR7, &dr7);