Searched refs:semihost_port (Results 1 – 1 of 1) sorted by relevance
30 semihost_port=DEFAULT_LINKSERVER_SEMIHOST_PORT, argument48 self.semihost_port = semihost_port104 semihost_port=args.semihost_port,136 ["--semihost-port", str(self.semihost_port) ] +