taglinefilesource code
RTC_SECONDS144arch/alpha/kernel/time.csec = CMOS_READ(RTC_SECONDS);
RTC_SECONDS150arch/alpha/kernel/time.c} while (sec != CMOS_READ(RTC_SECONDS));
RTC_SECONDS249arch/alpha/kernel/time.cCMOS_WRITE(real_seconds,RTC_SECONDS);
RTC_SECONDS225arch/i386/kernel/time.cCMOS_WRITE(real_seconds,RTC_SECONDS);
RTC_SECONDS337arch/i386/kernel/time.csec = CMOS_READ(RTC_SECONDS);
RTC_SECONDS343arch/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));