[PATCH v3 08/19] arm/arm64: KVM: dont rely on a valid GICH base address

[Christoffer Dall]

On Fri, Oct 31, 2014 at 05:26:43PM +0000, Andre Przywara wrote:
> To check whether the vGIC was already initialized, we currently check
> the GICH base address for not being NULL. Since with GICv3 we may
> get along without this address, lets use the irqchip_in_kernel()
> function to detect an already initialized vGIC.
> 
> Signed-off-by: Andre Przywara <andre.przywara at arm.com>

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