print_tickdevice 225 kernel/time/timer_list.c print_tickdevice(m, tick_get_broadcast_device()); print_tickdevice 235 kernel/time/timer_list.c print_tickdevice(m, tick_get_device(cpu));