usb_HPtimer_good  307 core/usb_remote.c     return (usb_HPtimer_good(time, interval));
usb_HPtimer_good 1931 platform/generic/wrappers.c extern int usb_HPtimer_good(int, int);
usb_HPtimer_good 1935 platform/generic/wrappers.c static int ARM_usb_HPtimer_good(int time, int interval) { return usb_HPtimer_good(time, interval); }