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 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
