/*
 * (C) Copyright 2018 Leo C. <erbl259-lmu@yahoo.de>
 *
 * SPDX-License-Identifier:	GPL-2.0
 */

#ifndef CMD_BOOT_H
#define CMD_BOOT_H

#include "command.h"

command_ret_t do_loadf(cmd_tbl_t *, uint_fast8_t, int, char * const []);
command_ret_t do_bootcf(cmd_tbl_t *, uint_fast8_t, int, char * const []);
command_ret_t do_busreq_pulse(cmd_tbl_t *, uint_fast8_t, int, char * const []);
command_ret_t do_go(cmd_tbl_t *, uint_fast8_t, int, char * const []);
command_ret_t do_restart(cmd_tbl_t *, uint_fast8_t, int, char * const []);
command_ret_t do_reset(cmd_tbl_t *cmdtp, uint_fast8_t flag, int argc, char * const argv[]);
command_ret_t do_console(cmd_tbl_t *, uint_fast8_t, int, char * const []);



#endif /* CMD_BOOT_H */