Symbol: emuxki_set_port