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