VM_REG_GUEST_DR1
error = vm_set_register(vcpu, VM_REG_GUEST_DR1, dr1);
error = vm_get_register(vcpu, VM_REG_GUEST_DR1, &dr1);
VM_REG_GUEST_DR1, /* VMM_REG_DR1 */
case VM_REG_GUEST_DR1:
case VM_REG_GUEST_DR1:
VM_REG_GUEST_DR1,