[PATCH v5 5/9] ARM: versatile: Map local timers using Device Tree when possible

[Russell King - ARM Linux]

On Fri, Dec 09, 2011 at 07:03:48PM +0000, Pawel Moll wrote:
> If twd_base is not set, try to map the TWD registers from
> "arm,smp-twd" Device Tree node (compatible value as used in
> Highbank's DT).

Please do it the other way around - allow DT to override twd_base if
the DT node is present.

The propsed way gets in the way of the single zImage stuff which Linaro
is working on.