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

[Russell King - ARM Linux]

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?