Symbol: usb_power_wdog
sys/dev/usb/controller/usb_controller.c
675
4 * hz, usb_power_wdog, arg);
sys/dev/usb/controller/usb_controller.c
794
usb_power_wdog(bus);