![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <console/console.h>
#include <device/device.h>
#include <device/pci.h>
#include <device/pci_def.h>
#include <device/pci_ops.h>
#include <southbridge/intel/common/pmbase.h>
#include <southbridge/intel/common/tco.h>
#include <watchdog.h>
Go to the source code of this file.
Functions | |
void | watchdog_off (void) |
Definition at line 15 of file watchdog.c.
References BIOS_DEBUG, PCI_COMMAND, PCI_COMMAND_INT_DISABLE, pci_read_config16(), pci_write_config16(), pcidev_on_root(), PMBASE_TCO_OFFSET, printk, read_pmbase16(), SECOND_TO_STS, TCO1_CNT, TCO1_STS, TCO1_TIMEOUT, TCO2_STS, TCO_TMR_HLT, value, and write_pmbase16().
Referenced by boot_successful().