[RFC PATCH 31/33] irqchip/gic-v4: Add VLPI configuration interface

[Thomas Gleixner]

On Tue, 17 Jan 2017, Marc Zyngier wrote:
> Add the required interfaces to map, unmap and update a VLPI.
> 
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

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