LPC32XX_RTC_UCOUNT
elapsed_sec = rtc_readl(rtc, LPC32XX_RTC_UCOUNT);
rtc_writel(rtc, LPC32XX_RTC_UCOUNT, secs);