Symbol: tk_xtime_add
kernel/time/timekeeping.c
1499
tk_xtime_add(tks, ts);
kernel/time/timekeeping.c
1865
tk_xtime_add(tk, delta);