[PATCH v11 05/25] goldish_pipe: rename local pin_user_pages() routine