doc_ptr            47 ext/soap/php_sdl.c static void delete_document(void *doc_ptr);
doc_ptr          3703 ext/soap/php_sdl.c static void delete_document(void *doc_ptr)
doc_ptr          3705 ext/soap/php_sdl.c 	xmlDocPtr doc = *((xmlDocPtr*)doc_ptr);