[RFC PATCH 19/33] irqchip/gic-v3-its: Add VLPI configuration handling

[Thomas Gleixner]

On Tue, 17 Jan 2017, Marc Zyngier wrote:

> When a VLPI is reconfigured (enabled, disabled, change in priority),
> the full configuration byte must be written, and the caches invalidated.
> 
> Also, when using the irq_mask/irq_unmask methods, it is necessary
> to disable the doorbell for that particular interrupt (by mapping it
> to 1023) on top of clearing the Enable bit.
> 
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

Aside of the switch/case part:

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