Symbol: S_FW_RI_TPTE_MWBCNT_PSTAG
sys/dev/cxgbe/firmware/t4fw_interface.h
1548
((x) << S_FW_RI_TPTE_MWBCNT_PSTAG)
sys/dev/cxgbe/firmware/t4fw_interface.h
1550
(((x) >> S_FW_RI_TPTE_MWBCNT_PSTAG) & M_FW_RI_TPTE_MWBCNT_PSTAG)