__qib_release_user_pages  124 drivers/infiniband/hw/qib/qib_user_pages.c 	__qib_release_user_pages(p, got, 0);
__qib_release_user_pages  132 drivers/infiniband/hw/qib/qib_user_pages.c 	__qib_release_user_pages(p, num_pages, 1);