tick_get_broadcast_device  728 kernel/time/clockevents.c 	return dev == &tick_bc_dev ? tick_get_broadcast_device() :
tick_get_broadcast_device   73 kernel/time/tick-internal.h extern struct tick_device *tick_get_broadcast_device(void);
tick_get_broadcast_device  265 kernel/time/timer_list.c 	print_tickdevice(m, tick_get_broadcast_device(), -1);