Hi Andre, On 07/04/17 18:32, Andre Przywara wrote:
/* Set up the (1:1) collection mapping for the given host CPU. */ int gicv3_its_setup_collection(unsigned int cpu) { @@ -450,6 +523,278 @@ int gicv3_its_init(void) return 0; }+/* + * TODO: Investiage the interaction when a guest removes a device while
s/Investiage/Investigate/ With that: Reviewed-by: Julien Grall <julien.gr...@arm.com> Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
