Re: [Xen-devel] [PATCH v4 0/3] make sure PGC_extra pages are dealt with properly

[Jan Beulich <jbeulich@xxxxxxxx>]

On 18.03.2020 18:32, Paul Durrant wrote:
> This series was formerly called "remove one more shared xenheap page:
> shared_info" but I have dropped the patches actually changing shared_info
> and just left the PGC_extra clean-up that was previously intertwined.
> 
> Paul Durrant (3):
>   mm: keep PGC_extra pages on a separate list
>   x86 / ioreq: use a MEMF_no_refcount allocation for server pages...
>   mm: add 'is_special_page' inline function...

So I'm confused - I had just replied twice to v6 patch 5/5. This
series calls itself v4 and consists of the middle three patches
of what v6 was. What's the deal? Is this really v7, and the two
patches have been dropped / postponed?

Jan