/*
- * This file is part of the LinuxBIOS project.
+ * This file is part of the coreboot project.
*
* Copyright (C) 2007 Rudolf Marek <r.marek@assembler.cz>
*
* This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License v2 as published by
- * the Free Software Foundation.
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; version 2 of the License.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
#include <device/device.h>
#include <device/pci.h>
#include <device/pci_ids.h>
-#include <pc80/keyboard.h>
#include "chip.h"
/*
printk_err("NO HARD RESET ON VT8237R! FIX ME!\n");
}
-#if DEFAULT_CONSOLE_LOGLEVEL > 7
+#if CONFIG_DEFAULT_CONSOLE_LOGLEVEL > 7
void writeback(struct device *dev, u16 where, u8 what)
{
u8 regval;
for (i = 0; i < 256; i += 16) {
printk_debug("%02x: ", i);
- for (j = 0; j < 16; j++) {
+ for (j = 0; j < 16; j++)
printk_debug("%02x ", pci_read_config8(dev, i + j));
- }
printk_debug("\n");
}
}