command_boot
return (command_boot(1, argv));
COMMAND_SET(boot, "boot", "boot a file or loaded kernel", command_boot);
COMMAND_SET(boot, "boot", "boot a file or loaded kernel", command_boot);
static int command_boot(int argc, char *argv[]);