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);