VM_INJECT_EXCEPTION
{ (uint_t)VM_INJECT_EXCEPTION, "VM_INJECT_EXCEPTION", NULL },
error = vcpu_ioctl(vcpu, VM_INJECT_EXCEPTION, &exc);
VM_INJECT_EXCEPTION, VM_LAPIC_IRQ, VM_LAPIC_LOCAL_IRQ,
return (vcpu_ioctl(vcpu, VM_INJECT_EXCEPTION, &exc));
case VM_INJECT_EXCEPTION:
case VM_INJECT_EXCEPTION: {