X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_events.h;h=7c97613af5f0ded8f6d6b32971811e518cea9f12;hb=ec9f38e306b02bb98029fb950bcb4d0bd0c3aed2;hp=296fe81981c24ed3d35376dce484242b4b84d9c5;hpb=0c942db0269c98d20875637eab9e97d639f7cda8;p=palacios.git

diff --git a/palacios/include/palacios/vmm_events.h b/palacios/include/palacios/vmm_events.h
index 296fe81..7c97613 100644
--- a/palacios/include/palacios/vmm_events.h
+++ b/palacios/include/palacios/vmm_events.h
@@ -28,8 +28,9 @@
 struct guest_info;
 struct v3_vm_info;
 
-typedef enum { 
-	       V3_EVENT_INVALID /* This entry must always be last */
+typedef enum {        
+  /* First event must be zero */
+  V3_EVENT_INVALID /* This entry must always be last */
 } v3_event_type_t;
 
 
@@ -82,7 +83,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;
     }