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
