Searched refs:prcmu_timer_base (Results 1 – 1 of 1) sorted by relevance
20 void __iomem *prcmu_timer_base; in ux500_timer_init() local27 prcmu_timer_base = __io_address(U5500_PRCMU_TIMER_3_BASE); in ux500_timer_init()33 prcmu_timer_base = __io_address(U8500_PRCMU_TIMER_4_BASE); in ux500_timer_init()56 clksrc_dbx500_prcmu_init(prcmu_timer_base); in ux500_timer_init()