Symbol: tk_update_ktime_data
kernel/time/timekeeping.c
2952
tk_update_ktime_data(aux_tks);
kernel/time/timekeeping.c
729
tk_update_ktime_data(tk);