On Thu, 30 Apr 2015, Julien Grall wrote: > On 30/04/2015 11:15, Stefano Stabellini wrote: > > > As said earlier, the number of DevBits implemented by the ITS can be > > > limited > > > (see GITS_TYPER.Devbits). > > > > > > If the devid is not within this range, the ITS won't recognize the value > > > and > > > won't be able to send the interrupt. > > > > > > So this is clearly not the right value. > > > > Sure, in that case the maximum value allowed by GITS_TYPER.Devbits. > > Vijay, what is the value of GITS_TYPER.Devbits on your platform? > > How can you be sure that this value won't be use for a device on this > platform?
It really depends on the platform: if GITS_TYPER.Devbits is much higher than the number of hotpluggable devices, then we are fine. If it is exactly identical, we need to return error on the last device hotplug. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
