17 			   char * const argv[])  in do_host_load()  argument
19 	return do_load(cmdtp, flag, argc, argv, FS_TYPE_SANDBOX);  in do_host_load()
23 			   char * const argv[])  in do_host_ls()  argument
25 	return do_ls(cmdtp, flag, argc, argv, FS_TYPE_SANDBOX);  in do_host_ls()
29 			   char * const argv[])  in do_host_size()  argument
31 	return do_size(cmdtp, flag, argc, argv, FS_TYPE_SANDBOX);  in do_host_size()
35 			   char * const argv[])  in do_host_save()  argument
37 	return do_save(cmdtp, flag, argc, argv, FS_TYPE_SANDBOX);  in do_host_save()
41 			   char * const argv[])  in do_host_bind()  argument
46 	char *dev_str = argv[1];  in do_host_bind()
47 	char *file = argc >= 3 ? argv[2] : NULL;  in do_host_bind()
57 			   char * const argv[])  in do_host_info()  argument
65 		char *dev_str = argv[1];  in do_host_info()
104 		       char * const argv[])  in do_host_dev()  argument
123 	dev = simple_strtoul(argv[1], &ep, 16);  in do_host_dev()
125 		printf("** Bad device specification %s **\n", argv[2]);  in do_host_dev()
154 		      char * const argv[])  in do_host()  argument
160 	argv++;  in do_host()
162 	c = find_cmd_tbl(argv[0], cmd_host_sub,  in do_host()
166 		return c->cmd(cmdtp, flag, argc, argv);  in do_host()