update

[l4.git] / l4 / pkg / io / server / src / vpci.cc

diff --git a/l4/pkg/io/server/src/vpci.cc b/l4/pkg/io/server/src/vpci.cc
index 970279db18398ee63ac8f96b1fca68b79e4abb20..090ae3b6531886b08307bf4ce4e1a7408505765e 100644 (file)
--- a/l4/pkg/io/server/src/vpci.cc
+++ b/l4/pkg/io/server/src/vpci.cc
@@ -119,7 +119,7 @@ Pci_proxy_dev::Pci_proxy_dev(Hw::Pci::If *hwf)
 
        }
 
-      // printf("%08lx: %d = %08lx\n", adr(), i, _vbars[i]);
+      //printf("  bar: %d = %08x\n", i, _vbars[i]);
     }
 
   if (_hwf->rom())
@@ -152,7 +152,7 @@ Pci_proxy_dev::irq_enable(Irq_info *irq)
 l4_uint32_t
 Pci_proxy_dev::read_bar(int bar)
 {
-  //printf("%08x:  read bar[%x]: %08x\n", _dev->adr(), bar, _vbars[bar]);
+  //printf("   read bar[%x]: %08x\n", bar, _vbars[bar]);
   return _vbars[bar];
 }