/* Init + command line */
-static void help()
+static void help(void)
{
puts("Milkymist(tm) BIOS");
puts("Don't know what to do? Try 'flashboot'.\n");
else if(strcmp(token, "rcsr") == 0) rcsr(get_token(&c));
else if(strcmp(token, "wcsr") == 0) wcsr(get_token(&c), get_token(&c));
+
+ else if(strcmp(token, "ddrinit") == 0) ddrinit();
else if(strcmp(token, "") != 0)
printf("Command not found\n");
int rescue;
extern unsigned int _edata;
-static void crcbios()
+static void crcbios(void)
{
unsigned int offset_bios;
unsigned int length;
}
}
-static void print_mac()
+static void print_mac(void)
{
unsigned char *macadr = (unsigned char *)FLASH_OFFSET_MAC_ADDRESS;