VM_LAPIC_IRQ
return (vcpu_ioctl(vcpu, VM_LAPIC_IRQ, &vmirq));
VM_LAPIC_IRQ, \
VMMDEV_IOCTL(VM_LAPIC_IRQ, VMMDEV_IOCTL_LOCK_ONE_VCPU),
case VM_LAPIC_IRQ: {