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