VM_REG_GUEST_DR6
error = vm_set_register(vcpu, VM_REG_GUEST_DR6, dr6);
error = vm_get_register(vcpu, VM_REG_GUEST_DR6, &dr6);
VM_REG_GUEST_DR6, /* VMM_REG_DR6 */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_DR6,
case VM_REG_GUEST_DR6:
case VM_REG_GUEST_DR6:
case VM_REG_GUEST_DR6:
case VM_REG_GUEST_DR6:
VERIFY0(vm_set_register(vm, vcpuid, VM_REG_GUEST_DR6, 0xffff0ff0));