X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_dev_mgr.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmm_dev_mgr.c;h=c1e1fdb11b6a752f52f8f1f74b2ece9414d7d16f;hb=03a41b18bdb6ce4bf666f18acdaf302e2360efdc;hp=a49e25da1ae6d4af7335ce7fb891552c5f758b55;hpb=32694d99c15e00731a240e0fccea252e08bf5ada;p=palacios.git

diff --git a/palacios/src/palacios/vmm_dev_mgr.c b/palacios/src/palacios/vmm_dev_mgr.c
index a49e25d..c1e1fdb 100644
--- a/palacios/src/palacios/vmm_dev_mgr.c
+++ b/palacios/src/palacios/vmm_dev_mgr.c
@@ -300,7 +300,9 @@ void PrintDebugDevIO(struct vm_device * dev) {
   PrintDebug("IO Hooks(%d)  for Device: %s\n", dev->num_io_hooks,  dev->name);
 
   list_for_each_entry(hook, &(dev->io_hooks), dev_list) {
-    PrintDebug("\tPort: 0x%x (read=0x%x), (write=0x%x)\n", hook->port, hook->read, hook->write);
+    PrintDebug("\tPort: 0x%x (read=0x%p), (write=0x%p)\n", hook->port, 
+	       (void *)(addr_t)(hook->read), 
+	       (void *)(addr_t)(hook->write));
   }
 
   return;