4 int do_menu( cmd_tbl_t *cmdtp, /*bd_t *bd,*/ int flag, int argc, char *argv[] )
6 /* printf("<NOT YET IMPLEMENTED>\n"); */
10 #if defined(CONFIG_AMIGAONEG3SE) && (CONFIG_COMMANDS & CFG_CMD_BSP)
11 cmd_tbl_t U_BOOT_CMD(MENU) = MK_CMD_ENTRY(
12 "menu", 1, 1, do_menu,
13 "menu - display BIOS setup menu\n",