From 502976dec1233eb371fd71af8c30aa33b3945b8d Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 18 Oct 2012 21:51:54 +0200
Subject: [PATCH] PCI: log PCI device as bus:device.function tuple

Refers to comment in #417.
---
 os/src/drivers/framebuffer/vesa/hw_emul.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/os/src/drivers/framebuffer/vesa/hw_emul.cc b/os/src/drivers/framebuffer/vesa/hw_emul.cc
index 4afd1613e3..7503a38a2e 100644
--- a/os/src/drivers/framebuffer/vesa/hw_emul.cc
+++ b/os/src/drivers/framebuffer/vesa/hw_emul.cc
@@ -128,7 +128,8 @@ static bool handle_pci_port_write(unsigned short port, T val)
 			unsigned devfn = (val >> 8) & 0xffff;
 			if (devfn != pci_card()->devfn()) {
 				if (verbose)
-					PWRN("accessing unknown PCI device %x", devfn);
+					PWRN("accessing unknown PCI device %02x:%02x.%x",
+					     devfn >> 8, (devfn >> 3) & 0x1f, devfn & 0x7);
 				pci_cfg_addr_valid = false;
 				return true;
 			}