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);