Re: [PATCH v2] irqchip: gicv3-its: Don't assume GICv3 hardware supports 16bit INTID

2017-06-22 Thread Marc Zyngier
On 22/06/17 18:44, Shanker Donthineni wrote: > The current ITS driver is assuming every ITS hardware implementation > supports minimum of 16bit INTID. But this is not true, as per GICv3 > specification, INTID field is IMPLEMENTATION DEFINED in the range of > 14-24 bits. We might see an

Re: [PATCH v2] irqchip: gicv3-its: Don't assume GICv3 hardware supports 16bit INTID

2017-06-22 Thread Marc Zyngier
On 22/06/17 18:44, Shanker Donthineni wrote: > The current ITS driver is assuming every ITS hardware implementation > supports minimum of 16bit INTID. But this is not true, as per GICv3 > specification, INTID field is IMPLEMENTATION DEFINED in the range of > 14-24 bits. We might see an