Hi Ian, On 19/01/15 17:00, Ian Campbell wrote: > On Thu, 2015-01-15 at 20:23 +0000, Julien Grall wrote: >> The field nr_lines in the arch_domain vgic structure contains the number of >> SPIs for the emulated GIC. Using the nr_lines make confusion with the GIC >> code, where it means the number of IRQs. This can lead to coding error. >> >> Also introduce vgic_num_irqs to get the number of IRQ handled by the emulated >> GIC. >> >> Finally drop the initialization of nr_spis in both gicv2v_init and gicv3_init >> as it's already initialized in vgic common code. >> >> Signed-off-by: Julien Grall <[email protected]> >> Acked-by: Stefano Stabellini <[email protected]> > > Acked + applied. > >
Thanks, I will rebase my series "[PATCH 00/10] xen/arm: Bug fixes for the vGIC" [1] on top of it. Though I could wait a bit for your review on it. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list [email protected] http://lists.xen.org/xen-devel
