[Android-virt] [PATCH 2/2] arm: make sure that number of irqs can be represented in GICD_TYPER.

[peter.maydell at linaro.org (Peter Maydell)]

On 21 February 2012 02:33, Rusty Russell <rusty at rustcorp.com.au> wrote:
> We currently assume that the number of interrupts (ITLinesNumber in
> the architecture reference manual) is divisible by 32, since we
> present it to the guest when it reads GICD_TYPER (in gic_dist_readb())
> as (N / 32) - 1.
>
> Signed-off-by: Rusty Russell <rusty at rustcorp.com.au>

Reviewed-by: Peter Maydell <peter.maydell at linaro.org>
and put into arm-devs.next.

-- PMM