tlo              3823 drivers/infiniband/hw/cxgb4/cm.c 	u64 tlo = be64_to_cpu(tcb[((31 - word) / 2)]);
tlo              3828 drivers/infiniband/hw/cxgb4/cm.c 	t = (thi << shift) | (tlo >> shift);