Symbol: __timer_delete
kernel/time/timer.c
1406
return __timer_delete(timer, false);
kernel/time/timer.c
1427
return __timer_delete(timer, true);