Symbol: tkd_basic_setup
kernel/time/timekeeping.c
2043
tkd_basic_setup(&tk_core, TIMEKEEPER_CORE, true);
kernel/time/timekeeping.c
3350
tkd_basic_setup(&timekeeper_data[i], i, false);