35 	char *filename = "/";  in do_reiserls()  local
48 	    filename = argv[3];  in do_reiserls()
52 	PRINTF("Using device %s %d:%d, directory: %s\n", argv[1], dev, part, filename);  in do_reiserls()
61 	if (reiserfs_ls (filename)) {  in do_reiserls()
81 	char *filename = NULL;  in do_reiserload()  local
97 		filename = env_get("bootfile");  in do_reiserload()
102 		filename = env_get("bootfile");  in do_reiserload()
107 		filename = argv[4];  in do_reiserload()
112 		filename = argv[4];  in do_reiserload()
120 	if (!filename) {  in do_reiserload()
132 		filename, argv[1], dev,  in do_reiserload()
142 	filelen = reiserfs_open(filename);  in do_reiserload()
144 		printf("** File not found %s **\n", filename);  in do_reiserload()
152 		printf("\n** Unable to read \"%s\" from %s %d:%d **\n", filename, argv[1], dev, part);  in do_reiserload()