Symbol: ohci_rhsc_softint
sys/dev/usb/ohci.c
153
Static void ohci_rhsc_softint(void *);
sys/dev/usb/ohci.c
824
ohci_rhsc_softint, sc);