x86/PCI: print domain:bus in conventional format
authorBjorn Helgaas <bjorn.helgaas@hp.com>
Wed, 4 Nov 2009 17:32:47 +0000 (10:32 -0700)
committerJesse Barnes <jbarnes@virtuousgeek.org>
Wed, 4 Nov 2009 21:06:43 +0000 (13:06 -0800)
commit2a6bed8301f8b019717504575a3f9c6cce1fe271
treeff7abcaf54d90250620813e10ef875a0f0053cdf
parent10c3d71d42f341775d96187eedd3e50eb34939d0
x86/PCI: print domain:bus in conventional format

Use the dev_printk-like "%04x:%02x" format for printing PCI bus numbers.

Signed-off-by: Bjorn Helgaas <bjorn.helgaas@hp.com>
Signed-off-by: Jesse Barnes <jbarnes@virtuousgeek.org>
arch/x86/pci/acpi.c