tag	line	file	source code
set_rtc_mmss	515	kernel/sched.c	extern int set_rtc_mmss(unsigned long);
set_rtc_mmss	572	kernel/sched.c	if (set_rtc_mmss(xtime.tv_sec) == 0)