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