On Mon, 9 Jul 2018, Julien Grall wrote: > On 07/07/18 00:11, Stefano Stabellini wrote: > > @@ -263,6 +288,12 @@ static void allocate_memory(struct domain *d, struct > > kernel_info *kinfo) > > I forgot to mention that very likely you want to update the big comment on top > of this function.
I'll do _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel