Symbol: print_tickdevice
kernel/time/timer_list.c
247
print_tickdevice(m, tick_get_broadcast_device(), -1);
kernel/time/timer_list.c
280
print_tickdevice(NULL, tick_get_device(cpu), cpu);
kernel/time/timer_list.c
298
print_tickdevice(m, tick_get_device(iter->cpu), iter->cpu);