ohci_intr         147 dev/cardbus/ohci_cardbus.c 					   IPL_USB, ohci_intr, sc, devname);
ohci_intr         141 dev/pci/ohci_pci.c 	sc->sc_ih = pci_intr_establish(pc, ih, IPL_USB, ohci_intr, sc, devname);
ohci_intr         153 dev/usb/ohcivar.h int		ohci_intr(void *);