TXC_ALRGS_ATXCTL
int txctl = ef4_mdio_read(efx, mmd, TXC_ALRGS_ATXCTL);
ef4_mdio_write(efx, mmd, TXC_ALRGS_ATXCTL, txctl);