/* Otherwise execute "bootm <fastboot_buf_addr>", if that fails, reset the board.  */
void fastboot_boot(void)
/* Otherwise execute "bootm <fastboot_buf_addr>", if that fails, reset the board.  */
void fastboot_boot(void)
{
	char *s;
	s = env_get("fastboot_bootcmd");
	if (s) {
		run_command(s, CMD_FLAG_ENV);
	} else {
		static char boot_addr_start[20];
		static char *const bootm_args[] = {
			"bootm", boot_addr_start, NULL
		};
		snprintf(boot_addr_start, sizeof(boot_addr_start) - 1,
			 "0x%p", fastboot_buf_addr);
		printf("Booting kernel at %s...\n\n\n", boot_addr_start);
		do_bootm(NULL, 0, 2, bootm_args);
		do_reset(NULL, 0, 0, NULL);
	}
}