Re: [Xen-devel] [PATCH v3 34/39] ARM: new VGIC: vgic-init: register VGIC

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Thu, 22 Mar 2018, Julien Grall wrote:
> Hi Andre,
> 
> On 03/21/2018 04:32 PM, Andre Przywara wrote:
> > This patch implements the function which is called by Xen when it wants
> > to register the virtual GIC.
> > This also implements vgic_max_vcpus() for the new VGIC, which reports
> > back the maximum number of VCPUs a certain GIC model supports. Similar
> > to the counterpart in the "old" VGIC, we return some maximum value if
> > the VGIC has not been initialised yet.
> > 
> > Signed-off-by: Andre Przywara <andre.przywara@xxxxxxxxxx>
> 
> Thank you for the update. We will have to remove the GIC_INVALID case once
> Andrew's series is merged. If his series is merged before yours, it would not
> be an issue as that case should never be hit.
> 
> So:
> 
> Reviewed-by: Julien Grall <julien.grall@xxxxxxx>

Acked-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel