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