decode_timer     4679 src/keyboard.c 	  if (! decode_timer (timer, &timer_time))
decode_timer     4696 src/keyboard.c 	  if (! decode_timer (idle_timer, &idle_timer_time))
decode_timer     4460 test/manual/etags/c-src/emacs/src/keyboard.c 	  if (! decode_timer (timer, &timer_time))
decode_timer     4477 test/manual/etags/c-src/emacs/src/keyboard.c 	  if (! decode_timer (idle_timer, &idle_timer_time))