RTC_EOI            31 drivers/rtc/rtc-pl030.c 	writel(0, rtc->base + RTC_EOI);
RTC_EOI           126 drivers/rtc/rtc-pl030.c 	__raw_writel(0, rtc->base + RTC_EOI);
RTC_EOI           130 drivers/rtc/rtc-xgene.c 	readl(pdata->csr_base + RTC_EOI);