elapsed_sec        57 drivers/rtc/rtc-lpc32xx.c 	unsigned long elapsed_sec;
elapsed_sec        60 drivers/rtc/rtc-lpc32xx.c 	elapsed_sec = rtc_readl(rtc, LPC32XX_RTC_UCOUNT);
elapsed_sec        61 drivers/rtc/rtc-lpc32xx.c 	rtc_time64_to_tm(elapsed_sec, time);
elapsed_sec       111 drivers/rtc/rtc-vr41xx.c 	time64_t epoch_sec, elapsed_sec;
elapsed_sec       114 drivers/rtc/rtc-vr41xx.c 	elapsed_sec = read_elapsed_second();
elapsed_sec       116 drivers/rtc/rtc-vr41xx.c 	rtc_time64_to_tm(epoch_sec + elapsed_sec, time);