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