cpu_timer_dequeue  432 kernel/time/posix-cpu-timers.c 			cpu_timer_dequeue(ctmr);
cpu_timer_dequeue  603 kernel/time/posix-cpu-timers.c 		cpu_timer_dequeue(ctmr);
cpu_timer_dequeue  780 kernel/time/posix-cpu-timers.c 		cpu_timer_dequeue(ctmr);