From: Jack Lange <jacklange@cs.pitt.edu>
Date: Tue, 17 Apr 2012 22:17:39 +0000 (-0400)
Subject: small debug fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=ac34ca9ba11d16963fe8d642a0d4e7dbfccd6c36;p=palacios.releases.git

small debug fix
---

diff --git a/palacios/src/interfaces/vmm_file.c b/palacios/src/interfaces/vmm_file.c
index c4d3f28..4827a95 100644
--- a/palacios/src/interfaces/vmm_file.c
+++ b/palacios/src/interfaces/vmm_file.c
@@ -28,8 +28,7 @@ static struct v3_file_hooks * file_hooks = NULL;
 
 void V3_Init_File(struct v3_file_hooks * hooks) {
     file_hooks = hooks;
-    PrintDebug("V3 file access inited\n");
-
+    V3_Print("V3 file interface intialized\n");
     return;
 }
 
diff --git a/palacios/src/palacios/vmm_dev_mgr.c b/palacios/src/palacios/vmm_dev_mgr.c
index d08b227..a9e2af9 100644
--- a/palacios/src/palacios/vmm_dev_mgr.c
+++ b/palacios/src/palacios/vmm_dev_mgr.c
@@ -68,7 +68,7 @@ int V3_init_devices() {
 
 
     while (tmp_dev != __stop__v3_devices) {
-	PrintDebug("Device: %s\n", tmp_dev->name);
+	V3_Print("Registering Device: %s\n", tmp_dev->name);
 
 	if (v3_htable_search(master_dev_table, (addr_t)(tmp_dev->name))) {
 	    PrintError("Multiple instance of device (%s)\n", tmp_dev->name);