current_sec       123 drivers/rtc/rtc-vr41xx.c 	time64_t epoch_sec, current_sec;
current_sec       126 drivers/rtc/rtc-vr41xx.c 	current_sec = rtc_tm_to_time64(time);
current_sec       128 drivers/rtc/rtc-vr41xx.c 	write_elapsed_second(current_sec - epoch_sec);