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