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

[palacios.git] / palacios / include / palacios / vmm_events.h

diff --git a/palacios/include/palacios/vmm_events.h b/palacios/include/palacios/vmm_events.h
index 296fe81..afc1194 100644 (file)
--- a/palacios/include/palacios/vmm_events.h
+++ b/palacios/include/palacios/vmm_events.h
@@ -82,7 +82,7 @@ static void inline v3_dispatch_event(struct guest_info * core,
     struct v3_notifier * tmp_notifier = NULL;
 
     if (event_type >= V3_EVENT_INVALID) {
-       PrintError("Tried to dispatch illegal event (%d)\n", event_type);
+       PrintError(info->vm_info, info, "Tried to dispatch illegal event (%d)\n", event_type);
        return;
     }