|
@@ -17,19 +17,20 @@
|
|
|
|
|
|
static void __init ux500_timer_init(void)
|
|
|
{
|
|
|
+ void __iomem *mtu_timer_base;
|
|
|
void __iomem *prcmu_timer_base;
|
|
|
|
|
|
if (cpu_is_u5500()) {
|
|
|
#ifdef CONFIG_LOCAL_TIMERS
|
|
|
twd_base = __io_address(U5500_TWD_BASE);
|
|
|
#endif
|
|
|
- mtu_base = __io_address(U5500_MTU0_BASE);
|
|
|
+ mtu_timer_base = __io_address(U5500_MTU0_BASE);
|
|
|
prcmu_timer_base = __io_address(U5500_PRCMU_TIMER_3_BASE);
|
|
|
} else if (cpu_is_u8500()) {
|
|
|
#ifdef CONFIG_LOCAL_TIMERS
|
|
|
twd_base = __io_address(U8500_TWD_BASE);
|
|
|
#endif
|
|
|
- mtu_base = __io_address(U8500_MTU0_BASE);
|
|
|
+ mtu_timer_base = __io_address(U8500_MTU0_BASE);
|
|
|
prcmu_timer_base = __io_address(U8500_PRCMU_TIMER_4_BASE);
|
|
|
} else {
|
|
|
ux500_unknown_soc();
|
|
@@ -52,7 +53,7 @@ static void __init ux500_timer_init(void)
|
|
|
*
|
|
|
*/
|
|
|
|
|
|
- nmdk_timer_init();
|
|
|
+ nmdk_timer_init(mtu_timer_base);
|
|
|
clksrc_dbx500_prcmu_init(prcmu_timer_base);
|
|
|
}
|
|
|
|