tick_get_broadcast_mask   87 include/linux/tick.h extern cpumask_t *tick_get_broadcast_mask(void);
tick_get_broadcast_mask  227 kernel/time/timer_list.c 		   tick_get_broadcast_mask()->bits[0]);