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

[Julien Grall <julien.grall@xxxxxxx>]

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>

Cheers,

--
Julien Grall

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