HFI1_ADMIN_JKEY_RANGE
jkey &= HFI1_ADMIN_JKEY_RANGE - 1;
#define HFI1_KERNEL_MIN_JKEY HFI1_ADMIN_JKEY_RANGE
#define HFI1_KERNEL_MAX_JKEY (2 * HFI1_ADMIN_JKEY_RANGE - 1)