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