X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/471d505ebe6980bd82884a6aa95f167d0a8e1990..e3c112d37709d00d8d7573d1d77d0f33d93c8364:/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 970279db1..090ae3b65 100644
--- 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];
 }