75b859978a
Fix the following warning detected by checkpatch.pl: WARNING: Prefer 'unsigned int' to bare use of 'unsigned' The remaining 37 warnings in gcov-io.c and libgcov.c are all false positives generated by checkpatch detecting a symbol or function name ending in _unsigned. TEST=Build and run on Galileo Gen2 Change-Id: I9f1b71993caca8b3eb3f643525534a937d365ab3 Signed-off-by: Lee Leahy <Leroy.P.Leahy@intel.com> Reviewed-on: https://review.coreboot.org/18695 Tested-by: build bot (Jenkins) Reviewed-by: Philippe Mathieu-Daudé <philippe.mathieu.daude@gmail.com> Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
88 lines
2.2 KiB
C
88 lines
2.2 KiB
C
/*
|
|
* This file is part of the coreboot project.
|
|
*
|
|
* (C) 2007-2009 coresystems GmbH
|
|
*
|
|
* 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; 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
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*/
|
|
|
|
static void print_debug_pci_dev(unsigned int dev)
|
|
{
|
|
printk(BIOS_DEBUG, "PCI: %02x:%02x.%x",
|
|
(dev >> 16) & 0xff, (dev >> 11) & 0x1f, (dev >> 8) & 7);
|
|
}
|
|
|
|
static inline void print_pci_devices(void)
|
|
{
|
|
device_t dev;
|
|
for (dev = PCI_DEV(0, 0, 0);
|
|
dev <= PCI_DEV(0x00, 0x1f, 0x7); dev += PCI_DEV(0, 0, 1)) {
|
|
u32 id;
|
|
id = pci_read_config32(dev, PCI_VENDOR_ID);
|
|
if (((id & 0xffff) == 0x0000) || ((id & 0xffff) == 0xffff)
|
|
|| (((id >> 16) & 0xffff) == 0xffff)
|
|
|| (((id >> 16) & 0xffff) == 0x0000)) {
|
|
continue;
|
|
}
|
|
print_debug_pci_dev(dev);
|
|
printk(BIOS_DEBUG, "\n");
|
|
}
|
|
}
|
|
|
|
static void dump_pci_device(unsigned int dev)
|
|
{
|
|
int i;
|
|
print_debug_pci_dev(dev);
|
|
printk(BIOS_DEBUG, "\n");
|
|
|
|
for (i = 0; i <= 255; i++) {
|
|
unsigned char val;
|
|
if ((i & 0x0f) == 0)
|
|
printk(BIOS_DEBUG, "%02x:", i);
|
|
val = pci_read_config8(dev, i);
|
|
printk(BIOS_DEBUG, " %02x", val);
|
|
if ((i & 0x0f) == 0x0f)
|
|
printk(BIOS_DEBUG, "\n");
|
|
}
|
|
}
|
|
|
|
static inline void dump_pci_devices(void)
|
|
{
|
|
device_t dev;
|
|
for (dev = PCI_DEV(0, 0, 0);
|
|
dev <= PCI_DEV(0, 0x1f, 0x7); dev += PCI_DEV(0, 0, 1)) {
|
|
u32 id;
|
|
id = pci_read_config32(dev, PCI_VENDOR_ID);
|
|
if (((id & 0xffff) == 0x0000) || ((id & 0xffff) == 0xffff)
|
|
|| (((id >> 16) & 0xffff) == 0xffff)
|
|
|| (((id >> 16) & 0xffff) == 0x0000)) {
|
|
continue;
|
|
}
|
|
dump_pci_device(dev);
|
|
}
|
|
}
|
|
|
|
|
|
static inline void dump_io_resources(unsigned int port)
|
|
{
|
|
int i;
|
|
printk(BIOS_DEBUG, "%04x:\n", port);
|
|
for (i = 0; i < 256; i++) {
|
|
u8 val;
|
|
if ((i & 0x0f) == 0)
|
|
printk(BIOS_DEBUG, "%02x:", i);
|
|
val = inb(port);
|
|
printk(BIOS_DEBUG, " %02x", val);
|
|
if ((i & 0x0f) == 0x0f)
|
|
printk(BIOS_DEBUG, "\n");
|
|
port++;
|
|
}
|
|
}
|