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