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 TSRMLS_DC);
php_do_setsockopt_ipv6_rfc3542 1983 ext/sockets/sockets.c 			res = php_do_setsockopt_ipv6_rfc3542(php_sock, level, optname, arg4 TSRMLS_CC);