Symbol: debug_deactivate
kernel/time/hrtimer.c
1157
debug_deactivate(timer);
kernel/time/hrtimer.c
2281
debug_deactivate(timer);
kernel/time/timer.c
889
debug_deactivate(timer);