Added __umoddi3
[people/xl0/gpxe.git] / src / hci / shell.c
index 3b1493f..b14af54 100644 (file)
@@ -18,7 +18,7 @@
 
 #include <stdint.h>
 #include <stdlib.h>
-#include <console.h>
+#include <stdio.h>
 #include <readline/readline.h>
 #include <gpxe/command.h>
 #include <gpxe/shell.h>
  *
  */
 
-static struct command commands[0] __table_start ( commands );
-static struct command commands_end[0] __table_end ( commands );
+static struct command commands[0]
+       __table_start ( struct command, commands );
+static struct command commands_end[0]
+       __table_end ( struct command, commands );
 
 /** The shell prompt string */
 static const char shell_prompt[] = "gPXE> ";