EFX_MASK32
EFX_MASK32((high) + 1 - (low)))
EFX_MASK32((high) + 1 - (low)))
EFX_MASK32((high) + 1 - (low)))
EFX_INSERT32(min, max, low, high, EFX_MASK32((high) + 1 - (low)))
EFX_MASK32(EFX_WIDTH(MCDI_HEADER_SEQ))
EFX_MASK32((high) + 1 - (low)))
EFX_MASK32((high) + 1 - (low)))
EFX_MASK32((high) + 1 - (low)))
EFX_INSERT32(min, max, low, high, EFX_MASK32((high) + 1 - (low)))
EFX_MASK32(EFX_WIDTH(MCDI_HEADER_SEQ))