timer_thread_function  170 thread.c       static void timer_thread_function(void *);
timer_thread_function  772 thread_pthread.c 	timer_thread_function(dummy);
timer_thread_function  543 thread_win32.c 	timer_thread_function(dummy);