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