HFI1_ADMIN_JKEY_RANGE 1546 drivers/infiniband/hw/hfi1/hfi.h 		jkey &= HFI1_ADMIN_JKEY_RANGE - 1;
HFI1_ADMIN_JKEY_RANGE   55 drivers/infiniband/hw/hfi1/tid_rdma.c #define HFI1_KERNEL_MIN_JKEY HFI1_ADMIN_JKEY_RANGE
HFI1_ADMIN_JKEY_RANGE   56 drivers/infiniband/hw/hfi1/tid_rdma.c #define HFI1_KERNEL_MAX_JKEY (2 * HFI1_ADMIN_JKEY_RANGE - 1)