fdno              348 drivers/infiniband/core/rdma_core.c 	int fdno = id;
fdno              350 drivers/infiniband/core/rdma_core.c 	if (fdno != id)
fdno              361 drivers/infiniband/core/rdma_core.c 	f = fget(fdno);