Searched refs:t4_tcb_get_field64 (Results 1 – 1 of 1) sorted by relevance
3816 static inline u64 t4_tcb_get_field64(__be64 *tcb, u16 word) in t4_tcb_get_field64() function3859 t_flags_64 = t4_tcb_get_field64(tcb, TCB_T_FLAGS_W); in read_tcb_rpl()