EFX_EV_TX_NLABELS
EFX_STATIC_ASSERT(EFX_EV_TX_NLABELS ==
EFSYS_ASSERT3U(label, <, EFX_EV_TX_NLABELS);