Symbol: timer_list_show_tickdevices_header
kernel/time/timer_list.c
278
timer_list_show_tickdevices_header(NULL);
kernel/time/timer_list.c
296
timer_list_show_tickdevices_header(m);