tick_get_device    31 kernel/time/tick-internal.h extern struct tick_device *tick_get_device(int cpu);
tick_get_device   298 kernel/time/timer_list.c 		print_tickdevice(NULL, tick_get_device(cpu), cpu);
tick_get_device   316 kernel/time/timer_list.c 		print_tickdevice(m, tick_get_device(iter->cpu), iter->cpu);