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 <[email protected]>
Reviewed-by: Thomas Gleixner <[email protected]>
