NODE_TYPE_PI     1225 third_party/libxml/src/xpath.c                 case NODE_TYPE_PI:
NODE_TYPE_PI     11010 third_party/libxml/src/xpath.c 	    *type = NODE_TYPE_PI;
NODE_TYPE_PI     11022 third_party/libxml/src/xpath.c 	if (*type == NODE_TYPE_PI) {