@@ -24,6 +24,8 @@
* * Armada 375 has a non-usable 25 Mhz fixed timer, due to hardware
* issues.
*
+ * * Armada 380 has a 25 Mhz fixed timer.
+ *
* * Armada XP cannot work properly without such 25 MHz fixed timer as
* doing otherwise leads to using a clocksource whose frequency varies
* when doing cpufreq frequency changes.
@@ -327,3 +329,11 @@ CLOCKSOURCE_OF_DECLARE(armada_370, "marvell,armada-370-timer",
*/
CLOCKSOURCE_OF_DECLARE(armada_375, "marvell,armada-375-timer",
armada_370_timer_init);
+
+/*
+ * Support the Armada 38x timer as identical to the Armada XP, using the
+ * available 25 MHz clock. We maintain a SoC-specific compatible string to
+ * allow to change this in the future.
+ */
+CLOCKSOURCE_OF_DECLARE(armada_380, "marvell,armada-380-timer",
+ armada_xp_timer_init);