Ports: Print the port name when a port is used but not attached to anything.

diff --git a/src/dev/io_device.cc b/src/dev/io_device.cc
index c073ab50146445ff0645e3cd68016ec2eac2c15b..3c64e271715d663fb04ca4917b75c44be93f034f 100644 (file)
--- 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);
 }