uhci_softintr     222 dev/usb/uhci.c void		uhci_softintr(void *);
uhci_softintr     274 dev/usb/uhci.c 	uhci_softintr,