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@xxxxxxx> Acked-by: Christoffer Dall <christoffer.dall@xxxxxxxxxx> _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
