[PATCH v3] irqchip/gicv3-its: Don't allow devices whose ID is outside range

[Marc Zyngier]

On 03/03/16 14:34, Shanker Donthineni wrote:
> Hi Marc,
> 
> Do you have any comments on this patch?

Not yet. I'll have a look next week.

Thanks,

	M.
-- 
Jazz is not dead. It just smells funny...