tk_xtime_add     1296 kernel/time/timekeeping.c 	tk_xtime_add(tk, ts);
tk_xtime_add     1596 kernel/time/timekeeping.c 	tk_xtime_add(tk, delta);