set_xsi_type       93 ext/soap/php_encoding.c static void set_xsi_type(xmlNodePtr node, char *type);
set_xsi_type     2648 ext/soap/php_encoding.c 						set_xsi_type(key, "xsd:string");
set_xsi_type     2657 ext/soap/php_encoding.c 						set_xsi_type(key, "xsd:int");
set_xsi_type     3275 ext/soap/php_encoding.c 	set_xsi_type(node, nstype.c);