t_flags_64 3850 drivers/infiniband/hw/cxgb4/cm.c u64 t_flags_64; t_flags_64 3864 drivers/infiniband/hw/cxgb4/cm.c t_flags_64 = t4_tcb_get_field64(tcb, TCB_T_FLAGS_W); t_flags_64 3865 drivers/infiniband/hw/cxgb4/cm.c rx_pdu_out = (t_flags_64 & TF_RX_PDU_OUT_V(1)) >> TF_RX_PDU_OUT_S;