static void bcm47xx_machine_restart(char *command)
{
printk(KERN_ALERT "Please stand by while rebooting the system...\n");
-@@ -56,7 +66,7 @@
+@@ -56,7 +66,7 @@ static void bcm47xx_machine_halt(void)
cpu_relax();
}
{
int i = 0;
-@@ -73,51 +83,143 @@
+@@ -73,51 +83,143 @@ static void str2eaddr(char *str, char *d
}
}