Symbol: hfi1_release_user_pages
drivers/infiniband/hw/hfi1/hfi.h
2100
void hfi1_release_user_pages(struct mm_struct *mm, struct page **p,
drivers/infiniband/hw/hfi1/pin_system.c
68
hfi1_release_user_pages(mm, pages + start, npages, false);
drivers/infiniband/hw/hfi1/user_exp_rcv.c
149
hfi1_release_user_pages(mm, pages, npages, mapped);