consume_communication_pipe 1464 thread_pthread.c 	consume_communication_pipe(timer_thread_pipe.normal[0]);
consume_communication_pipe 1465 thread_pthread.c 	consume_communication_pipe(timer_thread_pipe.low[0]);