Changeset 3572

Show
Ignore:
Timestamp:
09/11/08 08:52:22 (2 months ago)
Author:
stepan
Message:

From Vincent Legoll:
Use dev_path() to have nice debug output
patch is run-time tested

Trivial, thus:
Signed-off-by: Stefan Reinauer <stepan@…>
Acked-by: Stefan Reinauer <stepan@…>

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/coreboot-v2/src/devices/pci_device.c

    r3441 r3572  
    924924                        (id == 0x0000ffff) || (id == 0xffff0000)) 
    925925                { 
    926                         printk_spew("PCI: devfn 0x%x, bad id 0x%x\n", devfn, id); 
     926                        printk_spew("%s, bad id 0x%x\n", dev_path(&dummy), id); 
    927927                        return NULL; 
    928928                }