+ timer at d0020300 {
+ compatible = "marvell,timer";
Is this really a generic marvell timer block?
Looking at the code below, its very similar to plat-orion timer.
I've not look at all the details, but i suspect it should not have its own timer
implementation, it should just be using plat-orion functions.
Andrew