Symbol: tick_shutdown
kernel/time/clockevents.c
636
tick_shutdown();
kernel/time/tick-internal.h
29
extern void tick_shutdown(void);