Symbol: bcmmdio_write_4