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

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

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.

Ian.


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel