VM_LAPIC_LOCAL_IRQ
return (vcpu_ioctl(vcpu, VM_LAPIC_LOCAL_IRQ, &vmirq));
VM_LAPIC_LOCAL_IRQ, \
VMMDEV_IOCTL(VM_LAPIC_LOCAL_IRQ, VMMDEV_IOCTL_MAYBE_ALLOC_VCPU),
case VM_LAPIC_LOCAL_IRQ: {