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

Reply via email to