[PATCH 1/9] clocksource: time-armada-370-xp: Marvell Armada 370/XP SoC timer driver

[Andrew Lunn]

> +{
> +	u32 u;
> +	struct device_node *np;
> +	unsigned int timer_clk;
> +	int ret;
> +	np = of_find_compatible_node(NULL, NULL, "marvell,timer");

Hi Thomas

"marvell,timer" is too generic. I would suggest using
marvell,armada-370-xp-timer, the same prefix as for the system
controller. It allows us to extend the code to handle Orion platforms,
in the same way the system controller does.

   Andrew