|
@@ -53,6 +53,13 @@ static void __init ux500_timer_init(void)
|
|
clksrc_dbx500_prcmu_init();
|
|
clksrc_dbx500_prcmu_init();
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+static void ux500_timer_reset(void)
|
|
|
|
+{
|
|
|
|
+ nmdk_clkevt_reset();
|
|
|
|
+ nmdk_clksrc_reset();
|
|
|
|
+}
|
|
|
|
+
|
|
struct sys_timer ux500_timer = {
|
|
struct sys_timer ux500_timer = {
|
|
.init = ux500_timer_init,
|
|
.init = ux500_timer_init,
|
|
|
|
+ .resume = ux500_timer_reset,
|
|
};
|
|
};
|