From bfec60ad3a24a0977e9da2b052614c273918bd5d Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Sat, 8 Oct 2011 23:24:32 -0700
Subject: [PATCH] Ports: Print the port name when a port is used but not
 attached to anything.

---
 src/dev/io_device.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dev/io_device.cc b/src/dev/io_device.cc
index c073ab501..3c64e2717 100644
--- a/src/dev/io_device.cc
+++ b/src/dev/io_device.cc
@@ -71,7 +71,7 @@ void
 PioDevice::init()
 {
     if (!pioPort)
-        panic("Pio port not connected to anything!");
+        panic("Pio port %s not connected to anything!", name());
     pioPort->sendStatusChange(Port::RangeChange);
 }