![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <console/console.h>
#include <drivers/ipmi/ipmi_kcs.h>
#include <drivers/ipmi/ipmi_ops.h>
#include <drivers/ipmi/ocp/ipmi_ocp.h>
#include <drivers/vpd/vpd.h>
#include <string.h>
#include "ipmi.h"
#include "vpd.h"
Go to the source code of this file.
Functions | |
void | init_frb2_wdt (void) |
Definition at line 13 of file ipmi.c.
References atol(), BIOS_DEBUG, DEFAULT_COUNTDOWN, FRB2_COUNTDOWN, FRB2_TIMER, ipmi_init_and_start_bmc_wdt(), ipmi_stop_bmc_wdt(), printk, TIMEOUT_HARD_RESET, val, vpd_get_bool(), vpd_gets(), VPD_LEN, and VPD_RW_THEN_RO.