Symbol: dwc_otg_timer
sys/dev/usb/controller/dwc_otg.c
2449
&dwc_otg_timer, sc);
sys/dev/usb/controller/dwc_otg.c
2464
&dwc_otg_timer, sc);