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