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