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