Searched refs:min_gdbserver_port (Results 1 – 1 of 1) sorted by relevance
137 int min_gdbserver_port = 0; in main_platform() local215 min_gdbserver_port = portnum; in main_platform()231 if (min_gdbserver_port && min_gdbserver_port < max_gdbserver_port) { in main_platform()233 min_gdbserver_port, max_gdbserver_port); in main_platform()234 } else if (min_gdbserver_port || max_gdbserver_port) { in main_platform()238 min_gdbserver_port, max_gdbserver_port); in main_platform()