tick_resume_broadcast 324 kernel/time/tick-common.c int broadcast = tick_resume_broadcast(); tick_resume_broadcast 90 kernel/time/tick-internal.h extern int tick_resume_broadcast(void);