kval             1116 drivers/infiniband/hw/hfi1/user_sdma.c 		__le32 kval = hdr->kdeth.ver_tid_offset;
kval             1118 drivers/infiniband/hw/hfi1/user_sdma.c 		tidoff = KDETH_GET(kval, OFFSET) *
kval             1129 drivers/infiniband/hw/hfi1/user_sdma.c 		    KDETH_GET(kval, TIDCTRL) != tidctrl ||
kval             1130 drivers/infiniband/hw/hfi1/user_sdma.c 		    KDETH_GET(kval, TID) != tididx)