scif_destroy_pinned_pages  333 drivers/misc/mic/scif/scif_rma.c 		scif_destroy_pinned_pages(window->pinned_pages);
scif_destroy_pinned_pages 1417 drivers/misc/mic/scif/scif_rma.c 	scif_destroy_pinned_pages(pinned_pages);
scif_destroy_pinned_pages 1452 drivers/misc/mic/scif/scif_rma.c 		err = scif_destroy_pinned_pages(pinned_pages);