php_dns_free_res  783 ext/standard/dns.c 				php_dns_free_res(res);
php_dns_free_res  791 ext/standard/dns.c 				php_dns_free_res(res);
php_dns_free_res  810 ext/standard/dns.c 					php_dns_free_res(res);
php_dns_free_res  826 ext/standard/dns.c 			php_dns_free_res(res);