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.
So:
Reviewed-by: Julien Grall <julien.gr...@arm.com>
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
