timer_t            85 bsp/drv/arm/gba/swkbd.c 	timer_t		timer;		/* timer to prevent chattering */
timer_t            56 bsp/drv/dev/base/pm.c 	timer_t		timer;		/* pm timer */
timer_t           108 bsp/drv/dev/block/fdd.c 	timer_t		tmr;		/* timer id */
timer_t           133 bsp/drv/include/dki.h void	 timer_callout(timer_t *, u_long, void (*)(void *), void *);
timer_t           134 bsp/drv/include/dki.h void	 timer_stop(timer_t *);