orig_tai         2319 kernel/time/timekeeping.c 	s32 orig_tai, tai;
orig_tai         2347 kernel/time/timekeeping.c 	orig_tai = tai = tk->tai_offset;
orig_tai         2350 kernel/time/timekeeping.c 	if (tai != orig_tai) {
orig_tai         2365 kernel/time/timekeeping.c 	if (tai != orig_tai)