Symbol: tick_resume_broadcast
kernel/time/tick-common.c
500
tick_resume_broadcast();
kernel/time/tick-internal.h
72
extern void tick_resume_broadcast(void);