ohci_softintr     113 dev/usb/ohci.c void		ohci_softintr(void *);
ohci_softintr     253 dev/usb/ohci.c 	ohci_softintr,