Re: [PATCH v3 11/24] xen/arm: Let the toolstack configure the number of SPIs

[Julien Grall <julien.grall@linaro.org>]

Hi Ian,

On 20/02/15 16:23, Ian Campbell wrote:
> On Tue, 2015-01-13 at 14:25 +0000, Julien Grall wrote:
>> Each domain may have a different number of IRQs depending on the devices
>> assigned to it.
>>
>> Rather re-using the number of IRQs used by the hardwared GIC, let the
>         ^than and "hardware" (although "physical" might be better)
> 
>> toolstack specify the number of SPIs when the domain is created. This
>> will avoid to waste memory.
> 
> "will avoid wasting memory".
> 
>> To calculate the number of SPIs, we assume that any IRQ given via the option
>> "irqs=" in xl is mapped 1:1 to the guest.
> 
> I don't see any xl changes here, and I think all that really matters is
> the semantics of the libxl_domain_build_info.irqs[] array, which
> currently I think can only express 1:1 mappings anyway.
> So:
> 
> "To calculate the number of SPIs, we take advantage of the fact that the
> libxl interface can only expose a 1:1 mapping and look for the largest
> SPI in the list" or something.

I will use this.

Regards,


-- 
Julien Grall