php_stream_udp_socket_ops   44 main/streams/xp_socket.c php_stream_ops php_stream_udp_socket_ops;
php_stream_udp_socket_ops  474 main/streams/xp_socket.c php_stream_ops php_stream_udp_socket_ops = {
php_stream_udp_socket_ops  613 main/streams/xp_socket.c 			stream->ops == &php_stream_udp_socket_ops ? SOCK_DGRAM : SOCK_STREAM,
php_stream_udp_socket_ops  683 main/streams/xp_socket.c 			stream->ops == &php_stream_udp_socket_ops ? SOCK_DGRAM : SOCK_STREAM,
php_stream_udp_socket_ops  802 main/streams/xp_socket.c 		ops = &php_stream_udp_socket_ops;