BRCMSTB_WKTMR_COUNTER   81 drivers/rtc/rtc-brcmstb-waketimer.c 		t->sec = readl_relaxed(timer->base + BRCMSTB_WKTMR_COUNTER);
BRCMSTB_WKTMR_COUNTER  140 drivers/rtc/rtc-brcmstb-waketimer.c 	writel_relaxed(sec, timer->base + BRCMSTB_WKTMR_COUNTER);