On Tue, 17 Jan 2017, Marc Zyngier wrote: > Rework LPI deallocation so that it can be reused by the v4 support > code. > > Signed-off-by: Marc Zyngier <marc.zyngier at arm.com> Reviewed-by: Thomas Gleixner <tglx at linutronix.de>