tk_normalize_xtime  126 kernel/time/timekeeping.c 	tk_normalize_xtime(tk);
tk_normalize_xtime  717 kernel/time/timekeeping.c 	tk_normalize_xtime(tk);