PRCMU_TIMER_MODE
if (readl(clksrc_dbx500_timer_base + PRCMU_TIMER_MODE) !=
clksrc_dbx500_timer_base + PRCMU_TIMER_MODE);