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.
Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
