tag	line	file	source code
RTC_SECONDS	79	kernel/time.c	sec = CMOS_READ(RTC_SECONDS);
RTC_SECONDS	85	kernel/time.c	} while (sec != CMOS_READ(RTC_SECONDS));
RTC_SECONDS	475	kernel/time.c	CMOS_WRITE(real_seconds,RTC_SECONDS);