76 	char *devnm;  member
112 	char *devnm, *file_name;  member
562 static void add_input_dev(char *devnm)  in add_input_dev()  argument
569 		if (strcmp(dip->devnm, devnm) == 0)  in add_input_dev()
574 	dip->devnm = strdup(devnm);  in add_input_dev()
584 	free(dip->devnm);  in rem_input_dev()
789 		sprintf(fn, "%s/%s.%s.%d.rep", idir, tip->devnm, ibase,   in tip_init()
856 static void add_input_file(int cpu, char *devnm, char *file_name)  in add_input_file()  argument
917 	tip->devnm = strdup(devnm);  in add_input_file()
940 	free(tip->devnm);  in rem_input_file()
966 		sprintf(full_name, "%s/%s.%s.%d", idir, dip->devnm, ibase, cpu);  in __find_input_files()
970 		add_input_file(cpu, dip->devnm, full_name);  in __find_input_files()
975 		fatal(NULL, ERR_ARGS, "No traces found for %s\n", dip->devnm);  in __find_input_files()
1324 	sprintf(path, "/dev/%s", map_dev(tip->devnm));  in replay_sub()