Searched refs:port_ptr (Results 1 – 1 of 1) sorted by relevance
198 uint16_t *port_ptr = port.getPointer(); in LaunchGDBServer() local206 port_ptr = nullptr; in LaunchGDBServer()210 url.str().c_str(), nullptr, debugserver_launch_info, port_ptr, &args, -1); in LaunchGDBServer()