LPC32XX_RTC_UCOUNT   60 drivers/rtc/rtc-lpc32xx.c 	elapsed_sec = rtc_readl(rtc, LPC32XX_RTC_UCOUNT);
LPC32XX_RTC_UCOUNT   77 drivers/rtc/rtc-lpc32xx.c 	rtc_writel(rtc, LPC32XX_RTC_UCOUNT, secs);