Context-based output infrastructure (V3_Print, etc) and modifications to use it

[palacios.git] / palacios / src / palacios / vmx_exits.c

diff --git a/palacios/src/palacios/vmx_exits.c b/palacios/src/palacios/vmx_exits.c
index b3f5ad9..38fe326 100644 (file)
--- a/palacios/src/palacios/vmx_exits.c
+++ b/palacios/src/palacios/vmx_exits.c
@@ -37,7 +37,7 @@ static int enable_exit(struct guest_info * core, v3_exit_type_t exit_type) {
            break;
 
        default:
-           PrintError("Unhandled Exit Type (%d)\n", exit_type);
+           PrintError(core->vm_info, core, "Unhandled Exit Type (%d)\n", exit_type);
            return -1;
     }
 
@@ -58,7 +58,7 @@ static int disable_exit(struct guest_info * core, v3_exit_type_t exit_type) {
            break;
 
        default:
-           PrintError("Unhandled Exit Type (%d)\n", exit_type);
+           PrintError(core->vm_info, core, "Unhandled Exit Type (%d)\n", exit_type);
            return -1;
     }