[PATCH 09/15] ARM: ux500: convert to twd_local_timer_register() interface

[Marc Zyngier]

On 12/01/12 09:16, Russell King - ARM Linux wrote:
> On Wed, Jan 11, 2012 at 01:08:48PM +0000, Marc Zyngier wrote:
>> +static void __init ux500_twd_set_base(unsigned long base)
>> +{
>> +	twd_local_timer.res[0].start = base;
>> +	twd_local_timer.res[0].end = base + 0x10;
> 
> Does this local timer really occupy 0x11 bytes?

Good point, will fix.

	M.
-- 
Jazz is not dead. It just smells funny...