Symbol: posix_timer_delete
kernel/time/posix-timers.c
1073
posix_timer_delete(timer);
kernel/time/posix-timers.c
1104
posix_timer_delete(timer);