Symbol: KBD_DEV_IRQ
usr.sbin/bhyve/amd64/atkbdc.c
545
pci_irq_reserve(KBD_DEV_IRQ);
usr.sbin/bhyve/amd64/atkbdc.c
546
sc->kbd.irq = KBD_DEV_IRQ;