Symbol: xenhcd_timer_action_done
drivers/usb/host/xen-hcd.c
1266
xenhcd_timer_action_done(info, TIMER_RING_WATCHDOG);
drivers/usb/host/xen-hcd.c
837
xenhcd_timer_action_done(info, TIMER_SCAN_PENDING_URBS);