is_arm_mapping_symbol(const char *str) 
static inline int is_arm_mapping_symbol(const char *str) 
is_arm_mapping_symbol(const char *str){	return str[0] == '$' && strchr("atd", str[1])	       && (str[2] == '\0' || str[2] == '.');}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b3dbb4ecd46767b621df3dedd28788da93ee0cac/kallsyms.c/clean/scripts/kallsyms.c