tag	line	file	source code
last_rtc_update	579	kernel/sched.c	static long last_rtc_update=0;
last_rtc_update	634	kernel/sched.c	if (time_status != TIME_BAD && xtime.tv_sec > last_rtc_update + 660 &&
last_rtc_update	638	kernel/sched.c	last_rtc_update = xtime.tv_sec;
last_rtc_update	640	kernel/sched.c	last_rtc_update = xtime.tv_sec - 600; /* do it again in 60 s */