![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Go to the source code of this file.
Macros | |
#define | RESET_WDT_BITE_TIME 0x31F3 |
#define | RESET_WDT_BARK_TIME (5 * RESET_WDT_BITE_TIME) |
Functions | |
static void | wdog_reset (void) |
void | do_board_reset (void) |
#define RESET_WDT_BARK_TIME (5 * RESET_WDT_BITE_TIME) |
Definition at line 28 of file reset.c.
References wdog_reset().
Definition at line 16 of file reset.c.
References APCS_WDT0_BARK_TIME, APCS_WDT0_BITE_TIME, APCS_WDT0_CPU0_WDOG_EXPIRED_ENABLE, APCS_WDT0_EN, APCS_WDT0_RST, BIOS_DEBUG, printk, RESET_WDT_BARK_TIME, RESET_WDT_BITE_TIME, and write32().
Referenced by do_board_reset().