TXC_ALRGS_ARXCTL  380 drivers/net/ethernet/sfc/falcon/txc43128_phy.c 	int rxctl = ef4_mdio_read(efx, mmd, TXC_ALRGS_ARXCTL);
TXC_ALRGS_ARXCTL  391 drivers/net/ethernet/sfc/falcon/txc43128_phy.c 	ef4_mdio_write(efx, mmd, TXC_ALRGS_ARXCTL, rxctl);