Lines Matching defs:stripped_file
2233 const char *stripped_file, const char *unstripped_file)
2237 stripped_file, unstripped_file, msg,
2244 const char *stripped_file, const char *unstripped_file)
2246 int stripped_fd = open_file (stripped_file, false);
2267 stripped_file, unstripped_file);
2271 stripped_file, unstripped_file);
2275 stripped_file, unstripped_file);
2279 force, stripped_file, unstripped_file);
2361 const char *stripped_file = NULL;
2364 &stripped_file, &unstripped_file);
2367 stripped_file, unstripped_file);