Have unregistered hypercalls fail to guest

[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..7c97613 100644 (file)
--- 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;
     }