Re: [PATCH 4/4] xen/arm: p2m: Remove translation table when it's empty

[Ian Campbell <ian.campbell@citrix.com>]

On Mon, 2015-11-30 at 14:26 +0000, Julien Grall wrote:
> +
> > > +                p2m->stats.mappings[level - 1]--;
> > > +                update_reference_mapping(pages[level - 1],
> > > old_entry, *entry);
> > > +
> > > +                /*
> > > +                 * We can't free the page now because it may be
> > > present
> > > +                 * in the guest TLB. Queue it and free it after the
> > > TLB
> > > +                 * has been flushed.
> > > +                 */
> > > +                page_list_add(pg, &free_pages);
> > 
> > You could have used page_list_move instead of del+add, but I can't
> > quite
> > convince myself it matters.
> 
> Are you sure?

No.

>  AFAICT, page_list_move move the head of the list from one
> variable to another. So all the list is moved.

I think you are probably right.

Ian.
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel