[RFC PATCH 13/33] irqchip/gic-v3-its: Generalize device table allocation

[Thomas Gleixner]

On Tue, 17 Jan 2017, Marc Zyngier wrote:

> As we want to use 2-level tables for VCPUs, let's hack the device
> table allocator in order to make it slightly more generic. It
> will get reused in subsequent patches.
> 
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

Reviewed-by: Thomas Gleixner <tglx at linutronix.de>