Symbol: TID_RDMA_JKEY
drivers/infiniband/hw/hfi1/tid_rdma.c
303
BUILD_BUG_ON(TID_RDMA_JKEY < HFI1_KERNEL_MIN_JKEY);
drivers/infiniband/hw/hfi1/tid_rdma.c
304
BUILD_BUG_ON(TID_RDMA_JKEY > HFI1_KERNEL_MAX_JKEY);
drivers/infiniband/hw/hfi1/tid_rdma.c
305
rcd->jkey = TID_RDMA_JKEY;