small debug fix

diff --git a/palacios/src/interfaces/vmm_file.c b/palacios/src/interfaces/vmm_file.c
index c4d3f28..4827a95 100644 (file)
--- 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 (file)
--- 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);