On Tue, 2015-09-29 at 15:46 +0100, Stefano Stabellini wrote:
> On Tue, 29 Sep 2015, Ian Campbell wrote:
> > On Wed, 2015-09-23 at 19:31 +0100, Stefano Stabellini wrote:
> > > [/...]
> > > +
> > > +/*
> > > + * Need to free pages after output_size here because they won't
> > > be
> > > +
On Tue, 29 Sep 2015, Ian Campbell wrote:
> On Wed, 2015-09-23 at 19:31 +0100, Stefano Stabellini wrote:
> > [/...]
> > +
> > +/*
> > + * Need to free pages after output_size here because they won't be
> > + * freed by discard_initial_modules
> > + */
> > +i = (output_size + PAG
On Wed, 2015-09-23 at 19:31 +0100, 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;
You have access to DIV_ROUND_
Free the memory used for the compressed kernel and update the relative
mod->start and mod->size parameters with the uncompressed ones.
To decompress the kernel, allocate memory from dommheap, because freeing
the modules is done by calling init_heap_pages, which frees to domheap.
Map these pages us