tick_device_uses_broadcast  183 kernel/time/tick-common.c 	if (tick_device_uses_broadcast(newdev, cpu))
tick_device_uses_broadcast   84 kernel/time/tick-internal.h extern int tick_device_uses_broadcast(struct clock_event_device *dev, int cpu);