Re: [PATCH v12 05/22] goldish_pipe: rename local pin_user_pages() routine

From: Christoph Hellwig
Date: Wed Jan 15 2020 - 10:23:51 EST


Looks good,

Reviewed-by: Christoph Hellwig <hch@xxxxxx>