usb_HPtimer_bad  1930 platform/generic/wrappers.c extern int usb_HPtimer_bad(int, int);
usb_HPtimer_bad  1936 platform/generic/wrappers.c static int ARM_usb_HPtimer_bad(int time, int interval) { return usb_HPtimer_bad(time, interval); }