Use of device_t has been abandoned in ramstage. Change-Id: I661b2435d9f0306b246a3e89aac24eb30c959085 Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/26253 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Patrick Rudolph <siro@das-labor.org>
52 lines
1.4 KiB
C
52 lines
1.4 KiB
C
/*
|
|
* This file is part of the coreboot project.
|
|
*
|
|
* Copyright (C) 2006 John Dufresne <jon.dufresne@gmail.com>
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 2 of the License, or
|
|
* (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*/
|
|
|
|
#include <console/console.h>
|
|
#include <arch/io.h>
|
|
#include <device/device.h>
|
|
#include <device/pci.h>
|
|
#include <watchdog.h>
|
|
|
|
/* TODO: I'm fairly sure the same functionality is provided elsewhere. */
|
|
|
|
void watchdog_off(void)
|
|
{
|
|
struct device *dev;
|
|
unsigned long value, base;
|
|
|
|
/* Turn off the ICH5 watchdog. */
|
|
dev = dev_find_slot(0, PCI_DEVFN(0x1f, 0));
|
|
|
|
/* Enable I/O space. */
|
|
value = pci_read_config16(dev, 0x04);
|
|
value |= (1 << 10);
|
|
pci_write_config16(dev, 0x04, value);
|
|
|
|
/* Get TCO base. */
|
|
base = (pci_read_config32(dev, 0x40) & 0x0fffe) + 0x60;
|
|
|
|
/* Disable the watchdog timer. */
|
|
value = inw(base + 0x08);
|
|
value |= 1 << 11;
|
|
outw(value, base + 0x08);
|
|
|
|
/* Clear TCO timeout status. */
|
|
outw(0x0008, base + 0x04);
|
|
outw(0x0002, base + 0x06);
|
|
|
|
printk(BIOS_DEBUG, "ICH Watchdog disabled\n");
|
|
}
|