added error check to 8259

[palacios.releases.git] / palacios / src / palacios / vmm_time.c

diff --git a/palacios/src/palacios/vmm_time.c b/palacios/src/palacios/vmm_time.c
index 7cf7853..3fb36ce 100644 (file)
--- a/palacios/src/palacios/vmm_time.c
+++ b/palacios/src/palacios/vmm_time.c
@@ -107,7 +107,7 @@ int v3_start_time(struct guest_info * info) {
     info->time_state.guest_cycles = 0;
     PrintDebug("Starting time for core %d at host time %llu/guest time %llu.\n",
               info->vcpu_id, t, info->time_state.guest_cycles); 
-    v3_yield(info);
+    v3_yield(info,-1);
     return 0;
 }
 
@@ -162,6 +162,12 @@ struct v3_timer * v3_add_timer(struct guest_info * info,
                               void * private_data) {
     struct v3_timer * timer = NULL;
     timer = (struct v3_timer *)V3_Malloc(sizeof(struct v3_timer));
+
+    if (!timer) {
+       PrintError("Cannot allocate in adding a timer\n");
+       return NULL;
+    }
+
     V3_ASSERT(timer != NULL);
 
     timer->ops = ops;