release_posix_timer  588 kernel/posix-timers.c 		release_posix_timer(new_timer, it_id_set);
release_posix_timer  870 kernel/posix-timers.c 	release_posix_timer(timer, IT_ID_SET);
release_posix_timer  898 kernel/posix-timers.c 	release_posix_timer(timer, IT_ID_SET);