set_default_filename

550

set_default_filename(defname);

82

extern void set_default_filename(char *filename);

249

set_default_filename(cmd_line_default_path);

243

set_default_filename(root_boot_file);

76

extern void set_default_filename(char *); /* boot.c */

80

extern void set_default_filename(char *);