tag	line	file	source code
RTC_SECONDS	82	kernel/time.c	sec = CMOS_READ(RTC_SECONDS);
RTC_SECONDS	88	kernel/time.c	} while (sec != CMOS_READ(RTC_SECONDS));
RTC_SECONDS	464	kernel/time.c	CMOS_WRITE(real_seconds,RTC_SECONDS);