TXC_ALRGS_ATXCTL  379 drivers/net/ethernet/sfc/falcon/txc43128_phy.c 	int txctl = ef4_mdio_read(efx, mmd, TXC_ALRGS_ATXCTL);
TXC_ALRGS_ATXCTL  390 drivers/net/ethernet/sfc/falcon/txc43128_phy.c 	ef4_mdio_write(efx, mmd, TXC_ALRGS_ATXCTL, txctl);