On Tue, 17 Jan 2017, Marc Zyngier wrote: > On activation, a VPE is mapped using the VMAPP command, followed > by a VINVALL for a good measure. On deactivation, the VPE is > simply unmapped. > > Signed-off-by: Marc Zyngier <marc.zyngier at arm.com> Reviewed-by: Thomas Gleixner <tglx at linutronix.de>