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);