__scif_get_port    59 drivers/misc/mic/scif/scif_ports.c 	return __scif_get_port(port, port + 1);
__scif_get_port    71 drivers/misc/mic/scif/scif_ports.c 	return __scif_get_port(SCIF_PORT_RSVD + 1, SCIF_PORT_COUNT);