void markeins_led_hex(u32 val) { char str[10]; sprintf(str, "%08x", val); markeins_led(str); }
static void markeins_machine_restart(char *command) { static void (*back_to_prom) (void) = (void (*)(void))0xbfc00000; printk("cannot EMMA2RH Mark-eins restart.\n"); markeins_led("restart."); back_to_prom(); }
static void markeins_machine_halt(void) { printk("EMMA2RH Mark-eins halted.\n"); markeins_led("halted."); while (1) ; }