On Mon, Jun 30, 2025 at 02:59:56PM +0200, David Hildenbrand wrote:

As __ClearPageMovable() is gone that would have only made
PageMovable()==false but still __PageMovable()==true, now
PageMovable() == __PageMovable().

So we can replace PageMovable() checks by __PageMovable(). In fact,
__PageMovable() cannot change until a page is freed, so we can turn
some PageMovable() into sanity checks for __PageMovable().

Reviewed-by: Zi Yan <ziy@nvidia.com>
Signed-off-by: David Hildenbrand <redacted>
---

LGTM

Reviewed-by: Harry Yoo <redacted>

(and Lorenzo's rephrasing looks good)

-- 
Cheers,
Harry / Hyeonggon