Example #1
0
File: led.c Project: 274914765/C
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) ;
}