[PATCH v4 15/20] KVM: ARM: vgic: revisit implementation of irqchip_in_kernel

[Christoffer Dall]

On Thu, May 15, 2014 at 06:58:34PM +0100, Marc Zyngier wrote:
> So far, irqchip_in_kernel() was implemented by testing the value of
> vctrl_base, which worked fine with GICv2.
> 
> With GICv3, this field is useless, as we're using system registers
> instead of a emmory mapped interface. To solve this, add a boolean
> flag indicating if the we're using a vgic or not.
> 
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

Reviewed-by: Christoffer Dall <christoffer.dall at linaro.org>