clksrc_dbx500_timer_base   28 drivers/clocksource/clksrc-dbx500-prcmu.c static void __iomem *clksrc_dbx500_timer_base;
clksrc_dbx500_timer_base   32 drivers/clocksource/clksrc-dbx500-prcmu.c 	void __iomem *base = clksrc_dbx500_timer_base;
clksrc_dbx500_timer_base   54 drivers/clocksource/clksrc-dbx500-prcmu.c 	clksrc_dbx500_timer_base = of_iomap(node, 0);
clksrc_dbx500_timer_base   62 drivers/clocksource/clksrc-dbx500-prcmu.c 	if (readl(clksrc_dbx500_timer_base + PRCMU_TIMER_MODE) !=
clksrc_dbx500_timer_base   65 drivers/clocksource/clksrc-dbx500-prcmu.c 		       clksrc_dbx500_timer_base + PRCMU_TIMER_MODE);
clksrc_dbx500_timer_base   67 drivers/clocksource/clksrc-dbx500-prcmu.c 		       clksrc_dbx500_timer_base + PRCMU_TIMER_REF);