php_do_setsockopt_ipv6_rfc3542   15 ext/sockets/sendrecvmsg.h int php_do_setsockopt_ipv6_rfc3542(php_socket *php_sock, int level, int optname, zval *arg4);
php_do_setsockopt_ipv6_rfc3542 2030 ext/sockets/sockets.c 			res = php_do_setsockopt_ipv6_rfc3542(php_sock, level, optname, arg4);