Hi, On 25/09/2019 19:49, Stefano Stabellini wrote: > +- nr_spis > + > + Optional. A 32-bit integer specifying the number of SPIs (Shared > + Peripheral Interrupts) to allocate for the domain. If nr_spis is > + missing, the max number of SPIs supported by the physical GIC is > + used.
This is not correct anymore when vpl011 is set. With that fixed: Acked-by: Julien Grall <julien.gr...@arm.com. Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
