[PATCH 4/4] goldfish_pipe/mm: convert to the new release_user_pages() call

From: John Hubbard For code that retains pages via get_user_pages*(), release those pages via the new release_user_pages(), instead of calling put_page(). This prepares for eventually fixing the problem described in [1], and is following a plan listed in [2]. [1]

[PATCH 4/4] goldfish_pipe/mm: convert to the new release_user_pages() call

From: John Hubbard For code that retains pages via get_user_pages*(), release those pages via the new release_user_pages(), instead of calling put_page(). This prepares for eventually fixing the problem described in [1], and is following a plan listed in [2]. [1]