_php_libxml_initialized   57 ext/libxml/libxml.c static int _php_libxml_initialized = 0;
_php_libxml_initialized  753 ext/libxml/libxml.c 	if (!_php_libxml_initialized) {
_php_libxml_initialized  762 ext/libxml/libxml.c 		_php_libxml_initialized = 1;
_php_libxml_initialized  768 ext/libxml/libxml.c 	if (_php_libxml_initialized) {
_php_libxml_initialized  776 ext/libxml/libxml.c 		_php_libxml_initialized = 0;