tick_get_device    71 include/linux/tick.h extern struct tick_device *tick_get_device(int cpu);
tick_get_device   235 kernel/time/timer_list.c 		   print_tickdevice(m, tick_get_device(cpu));