Searched refs:is_known_name_38 (Results 1 – 4 of 4) sorted by relevance
343 extern int (*is_known_name_38)(const char * name_space,const char * idname);
3197 return is_known_name_38?is_known_name_38(0,idname):0; in is_known_name_home_38()3203 return is_known_name_38?is_known_name_38(name_space,idname):0; in is_known_name_home_38()
5786 …ring_infinity) && strcmp(S,string_undef) && S[0]!='G'&& (!is_known_name_38 || !is_known_name_38(0,… in find_or_make_symbol()
3198 int (*is_known_name_38)(const char * name_space,const char * idname)=0; // Not used anymore! variable