tk_set_xtime     1250 kernel/time/timekeeping.c 	tk_set_xtime(tk, ts);
tk_set_xtime     1566 kernel/time/timekeeping.c 	tk_set_xtime(tk, &wall_time);