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