Searched refs:SW_PORT (Results 1 - 1 of 1) sorted by relevance

/gem5/util/dist/
H A Dgem5-dist.sh117 SW_PORT=$2
176 [ -z "$SW_PORT" ] && SW_PORT=$DEFAULT_SW_PORT
320 --dist-server-port=$SW_PORT
330 SW_PORT=${ADDR[5]}
355 --dist-server-port=$SW_PORT

Completed in 4 milliseconds