On Tue, 17 Jan 2017, Marc Zyngier wrote: > The VCPU tables can be quite sparse as well, and it makes sense > to use indirect tables as well if possible. > > Signed-off-by: Marc Zyngier <marc.zyngier at arm.com> Reviewed-by: Thomas Gleixner <tglx at linutronix.de>