Symbol: debug_activate
kernel/time/hrtimer.c
1109
debug_activate(timer, mode, was_armed);
kernel/time/hrtimer.c
1259
debug_activate(timer, mode, timer->is_queued);