print_tickdevice  265 kernel/time/timer_list.c 	print_tickdevice(m, tick_get_broadcast_device(), -1);
print_tickdevice  298 kernel/time/timer_list.c 		print_tickdevice(NULL, tick_get_device(cpu), cpu);
print_tickdevice  316 kernel/time/timer_list.c 		print_tickdevice(m, tick_get_device(iter->cpu), iter->cpu);