Searched refs:t_flags_64 (Results 1 – 1 of 1) sorted by relevance
3845 u64 t_flags_64; in read_tcb_rpl() local3859 t_flags_64 = t4_tcb_get_field64(tcb, TCB_T_FLAGS_W); in read_tcb_rpl()3860 rx_pdu_out = (t_flags_64 & TF_RX_PDU_OUT_V(1)) >> TF_RX_PDU_OUT_S; in read_tcb_rpl()