PRCMU_TIMER_MODE   62 drivers/clocksource/clksrc-dbx500-prcmu.c 	if (readl(clksrc_dbx500_timer_base + PRCMU_TIMER_MODE) !=
PRCMU_TIMER_MODE   65 drivers/clocksource/clksrc-dbx500-prcmu.c 		       clksrc_dbx500_timer_base + PRCMU_TIMER_MODE);