Lines Matching defs:defined_name
2218 char *defined_name, char *type_name, char *type_name2)
2228 execute_string ("@findex %s\n", defined_name);
2233 execute_string ("@vindex %s\n", defined_name);
2237 execute_string ("@vindex %s %s %s\n", defined_name, _("of"), type_name);
2242 execute_string ("@findex %s %s %s\n", defined_name, _("on"), type_name);
2245 execute_string ("@tindex %s\n", defined_name);
2295 execute_string ("%s", defined_name);
2302 execute_string ("%s", defined_name);
2308 execute_string ("%s", defined_name);
2316 execute_string ("%s", defined_name);
2325 execute_string ("%s", defined_name);