Symbol: hfi1_release_user_pages