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);