Symbol: tk_normalize_xtime
kernel/time/timekeeping.c
246
tk_normalize_xtime(tk);
kernel/time/timekeeping.c
863
tk_normalize_xtime(tk);