EXTENDED_PSN     9807 drivers/infiniband/hw/hfi1/chip.c 	if (HFI1_CAP_IS_KSET(EXTENDED_PSN))
EXTENDED_PSN     1145 drivers/infiniband/hw/hfi1/user_sdma.c 		mask = (HFI1_CAP_IS_KSET(EXTENDED_PSN) ? 0x7fffffffull :
EXTENDED_PSN     1300 drivers/infiniband/hw/hfi1/user_sdma.c 		(HFI1_CAP_IS_KSET(EXTENDED_PSN) ? 0x7fffffff : 0xffffff);