Re: [PATCH v12 22/22] mm, tree-wide: rename put_user_page*() to unpin_user_page*()

From: Christoph Hellwig
Date: Wed Jan 15 2020 - 10:27:24 EST


Looks sensible:

Reviewed-by: Christoph Hellwig <hch@xxxxxx>