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

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

2017-06-22 Thread Shanker Donthineni
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 unpredictable system behavior on systems where hardware support

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

2017-06-22 Thread Shanker Donthineni
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 unpredictable system behavior on systems where hardware support