Add IRQ12 to the dbm690t mptable for mouse interrupt support.

[coreboot.git] / src / devices / device_util.c

diff --git a/src/devices/device_util.c b/src/devices/device_util.c
index 22206069d20d9c50a540bb749eda84327c8ede16..5a1b8b5ef0e510eabb7661abafcfb63f37af1b6f 100644 (file)
--- a/src/devices/device_util.c
+++ b/src/devices/device_util.c
@@ -1,5 +1,5 @@
 /*
- * This file is part of the LinuxBIOS project.
+ * This file is part of the coreboot project.
  *
  * Copyright (C) 2003-2004 Linux Networx
  * (Written by Eric Biederman <ebiederman@lnxi.com> for Linux Networx)
@@ -454,7 +454,7 @@ const char *resource_type(struct resource *resource)
 void report_resource_stored(device_t dev, struct resource *resource, const char *comment)
 {
        if (resource->flags & IORESOURCE_STORED) {
-               unsigned char buf[10];
+               char buf[10];
                unsigned long long base, end;
                base = resource->base;
                end = resource_end(resource);
@@ -467,10 +467,11 @@ void report_resource_stored(device_t dev, struct resource *resource, const char
 #endif
                }
                printk_debug(
-                       "%s %02x <- [0x%010Lx - 0x%010Lx] %s%s%s\n",
+                       "%s %02x <- [0x%010Lx - 0x%010Lx] size 0x%08Lx gran 0x%02x %s%s%s\n",
                        dev_path(dev),
                        resource->index,
                        base, end,
+                       resource->size, resource->gran,
                        buf,
                        resource_type(resource),
                        comment);