VM_REG_GUEST_DR7
error = vm_set_register(vcpu, VM_REG_GUEST_DR7, dr7);
error = vm_get_register(vcpu, VM_REG_GUEST_DR7, &dr7);
VM_REG_GUEST_DR7, /* VMM_REG_DR7 */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_DR7, 0x400)) !=
case VM_REG_GUEST_DR7:
case VM_REG_GUEST_DR7:
case VM_REG_GUEST_DR7:
case VM_REG_GUEST_DR7:
VERIFY0(vm_set_register(vm, vcpuid, VM_REG_GUEST_DR7, 0x400));