Symbol: KBD_DEV_IRQ
usr/src/cmd/bhyve/amd64/atkbdc.c
541
pci_irq_reserve(KBD_DEV_IRQ);
usr/src/cmd/bhyve/amd64/atkbdc.c
542
sc->kbd.irq = KBD_DEV_IRQ;