tag	line	file	source code
RTC_SECONDS	81	kernel/time.c	sec = CMOS_READ(RTC_SECONDS);
RTC_SECONDS	87	kernel/time.c	} while (sec != CMOS_READ(RTC_SECONDS));
RTC_SECONDS	478	kernel/time.c	CMOS_WRITE(real_seconds,RTC_SECONDS);