Symbol: write_dev_port_cntr