On Tue, 22 Sep 2015, Julien Grall wrote: > On 21/09/2015 23:51, Stefano Stabellini wrote: > > + /* > > + * Need to free pages after output_size here because they won't be > > + * freed by discard_initial_modules > > + */ > > + i = (output_size + PAGE_SIZE - 1) >> PAGE_SHIFT; > > + for ( ; i < (1 << kernel_order_out); i++ ) > > + free_domheap_page(pages + i); > > + > > + vunmap(output); > > + > > I forgot to mention that vunmap should be called before free_domheap_pages to > avoid mapping on unallocated pages. You are right, thanks
_______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
