Hi, On 22/03/18 08:00, 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.przyw...@linaro.org> > > 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.
Yes, for my first reply I didn't originally see that his patch was a 20/20. So I changed my mind and decided to not rely on this series ;-) We can indeed fix this up later. > Reviewed-by: Julien Grall <julien.gr...@arm.com> Thanks! Andre. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
