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.zyng...@arm.com>
Reviewed-by: Thomas Gleixner <t...@linutronix.de>
