taglinefilesource code
RTC_SECONDS105arch/alpha/kernel/time.csec = CMOS_READ(RTC_SECONDS);
RTC_SECONDS111arch/alpha/kernel/time.c} while (sec != CMOS_READ(RTC_SECONDS));
RTC_SECONDS201arch/alpha/kernel/time.cCMOS_WRITE(real_seconds,RTC_SECONDS);
RTC_SECONDS223arch/i386/kernel/time.cCMOS_WRITE(real_seconds,RTC_SECONDS);
RTC_SECONDS335arch/i386/kernel/time.csec = CMOS_READ(RTC_SECONDS);
RTC_SECONDS341arch/i386/kernel/time.c} while (sec != CMOS_READ(RTC_SECONDS));
RTC_SECONDS162arch/mips/kernel/time.cCMOS_WRITE(real_seconds,RTC_SECONDS);
RTC_SECONDS260arch/mips/kernel/time.csec = CMOS_READ(RTC_SECONDS);
RTC_SECONDS266arch/mips/kernel/time.c} while (sec != CMOS_READ(RTC_SECONDS));