other_val        1842 ext/sockets/sockets.c 	int				other_val;
other_val        1923 ext/sockets/sockets.c 			optlen = sizeof(other_val);
other_val        1925 ext/sockets/sockets.c 			if (getsockopt(php_sock->bsd_socket, level, optname, (char*)&other_val, &optlen) != 0) {
other_val        1930 ext/sockets/sockets.c 				other_val = *((unsigned char *)&other_val);
other_val        1932 ext/sockets/sockets.c 			RETURN_LONG(other_val);