![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <types.h>
Go to the source code of this file.
Functions | |
void | init_frb2_wdt (void) |
Definition at line 60 of file ipmi.c.
References atol(), BIOS_DEBUG, BIOS_INFO, DEFAULT_COUNTDOWN, FRB2_ACTION, FRB2_ACTION_DEFAULT, FRB2_COUNTDOWN, FRB2_COUNTDOWN_DEFAULT, FRB2_TIMER, FRB2_TIMER_DEFAULT, ipmi_init_and_start_bmc_wdt(), ipmi_stop_bmc_wdt(), printk, TIMEOUT_HARD_RESET, val, vpd_get_bool(), vpd_get_int(), vpd_gets(), VPD_LEN, and VPD_RW_THEN_RO.
Referenced by mainboard_memory_init_params().