PRCMU_TIMER_DOWNCOUNT   36 drivers/clocksource/clksrc-dbx500-prcmu.c 		count = readl_relaxed(base + PRCMU_TIMER_DOWNCOUNT);
PRCMU_TIMER_DOWNCOUNT   37 drivers/clocksource/clksrc-dbx500-prcmu.c 		count2 = readl_relaxed(base + PRCMU_TIMER_DOWNCOUNT);