VM_INJECT_EXCEPTION
return (vcpu_ioctl(vcpu, VM_INJECT_EXCEPTION, &vmexc));
return (vcpu_ioctl(vcpu, VM_INJECT_EXCEPTION, &exc));
VM_INJECT_EXCEPTION, \
return (vcpu_ioctl(vcpu, VM_INJECT_EXCEPTION, &vmexc));
VMMDEV_IOCTL(VM_INJECT_EXCEPTION, VMMDEV_IOCTL_LOCK_ONE_VCPU),
case VM_INJECT_EXCEPTION: {
VMMDEV_IOCTL(VM_INJECT_EXCEPTION, VMMDEV_IOCTL_LOCK_ONE_VCPU),
case VM_INJECT_EXCEPTION: {
VMMDEV_IOCTL(VM_INJECT_EXCEPTION, VMMDEV_IOCTL_LOCK_ONE_VCPU),
VMMDEV_IOCTL(VM_INJECT_EXCEPTION, VMMDEV_IOCTL_LOCK_ONE_VCPU),
case VM_INJECT_EXCEPTION: {