Symbol: dc_mii_writebit