tag	line	file	source code
RTC_SECONDS	90	kernel/time.c	sec = CMOS_READ(RTC_SECONDS);
RTC_SECONDS	96	kernel/time.c	} while (sec != CMOS_READ(RTC_SECONDS));
RTC_SECONDS	495	kernel/time.c	CMOS_WRITE(real_seconds,RTC_SECONDS);