VM_REG_GUEST_DR1
case VM_REG_GUEST_DR1:
error = vm_set_register(vcpu, VM_REG_GUEST_DR1, set_dr1_val);
error = vm_get_register(vcpu, VM_REG_GUEST_DR1, &dr1);