DC_RTC_TIME        70 drivers/rtc/rtc-digicolor.c 	time1 = readl_relaxed(rtc->regs + DC_RTC_TIME);
DC_RTC_TIME        73 drivers/rtc/rtc-digicolor.c 		time2 = readl_relaxed(rtc->regs + DC_RTC_TIME);