[RFC PATCH 30/33] irqchip/gic-v4: Add VPE command interface

[Thomas Gleixner]

On Tue, 17 Jan 2017, Marc Zyngier wrote:

> Add the required interfaces to schedule a VPE and perform a
> VINVALL command.
> 
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

Reviewed-by: Thomas Gleixner <tglx at linutronix.de>