interval          296 core/usb_remote.c int usb_HPtimer_good(__attribute__ ((unused))int time, int interval) 
interval          299 core/usb_remote.c     start_usb_HPtimer(interval) ;
interval          304 core/usb_remote.c int usb_HPtimer_bad(int time, int interval) 
interval          307 core/usb_remote.c     return (usb_HPtimer_good(time, interval));
interval           36 modules/gui_grid.c static int interval = GRID_REDRAW_INTERVAL;
interval          234 modules/gui_grid.c         if (force || --interval==0) {
interval          273 modules/gui_grid.c             interval = GRID_REDRAW_INTERVAL;
interval         1935 platform/generic/wrappers.c static int ARM_usb_HPtimer_good(int time, int interval) { return usb_HPtimer_good(time, interval); }
interval         1936 platform/generic/wrappers.c static int ARM_usb_HPtimer_bad(int time, int interval) { return usb_HPtimer_bad(time, interval); }
interval         1938 platform/generic/wrappers.c int start_usb_HPtimer(int interval)            // return 0 if timer already running or error,  1 if successful
interval         1944 platform/generic/wrappers.c 	if(interval < CAM_REMOTE_HIGHSPEED_LIMIT) interval=CAM_REMOTE_HIGHSPEED_LIMIT;
interval         1945 platform/generic/wrappers.c         usb_HPtimer_handle = _SetHPTimerAfterNow(interval,ARM_usb_HPtimer_good,ARM_usb_HPtimer_bad,interval);