[PATCH v2 33/34] kernel/events/core.c: convert put_page() to put_user_page*()