TXC_GLRGS_GLCMD
int ctl = ef4_mdio_read(efx, mmd, TXC_GLRGS_GLCMD);
ef4_mdio_write(efx, mmd, TXC_GLRGS_GLCMD, ctl);
int val = ef4_mdio_read(efx, mmd, TXC_GLRGS_GLCMD);
ef4_mdio_write(efx, mmd, TXC_GLRGS_GLCMD, val);
val = ef4_mdio_read(efx, mmd, TXC_GLRGS_GLCMD);