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)