On Mon, Dec 08 2014 at 12:37:42 PM, Andre Przywara <andre.przywara@xxxxxxx> 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> Acked-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead. It just smells funny. _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
