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

From: Thomas Gleixner
Date: Mon Feb 13 2017 - 06:17:00 EST


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@xxxxxxx>

Reviewed-by: Thomas Gleixner <tglx@xxxxxxxxxxxxx>