php_do_getsockopt_ipv6_rfc3542   16 ext/sockets/sendrecvmsg.h int php_do_getsockopt_ipv6_rfc3542(php_socket *php_sock, int level, int optname, zval *result TSRMLS_DC);
php_do_getsockopt_ipv6_rfc3542 1871 ext/sockets/sockets.c 		int ret = php_do_getsockopt_ipv6_rfc3542(php_sock, level, optname, return_value TSRMLS_CC);