Searched refs:sockets_initialized (Results 1 – 5 of 5) sorted by relevance
169 static int sockets_initialized = 0; variable189 if ( ! sockets_initialized ) { in initialize_sockets()210 sockets_initialized = 1; in initialize_sockets()255 if ( ! sockets_initialized ) initialize_sockets(NULL,NULL,NULL,NULL);336 if ( ! sockets_initialized ) initialize_sockets(NULL,NULL,NULL,NULL);370 if ( ! sockets_initialized ) initialize_sockets(NULL,NULL,NULL,NULL);
97 static int sockets_initialized = 0; variable112 if (sockets_initialized == 0) { in ssh_socket_init()123 sockets_initialized = 1; in ssh_socket_init()134 if (sockets_initialized == 1) { in ssh_socket_cleanup()139 sockets_initialized = 0; in ssh_socket_cleanup()
94 static int sockets_initialized = 0; variable105 if (sockets_initialized == 0) { in ssh_socket_init()117 sockets_initialized = 1; in ssh_socket_init()127 if (sockets_initialized == 1) { in ssh_socket_cleanup()132 sockets_initialized = 0; in ssh_socket_cleanup()
91 (state is uninitialized): requires sockets_initialized 94 (state is uninitialized): requires sockets_initialized 97 (state is uninitialized): requires sockets_initialized
13 sockets_initialized clause ==> initialized