X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_time.c;h=44d5d02488eea32a86ff8beb341b7ffbd993019b;hb=46113012016d5064ca8617dbb39f04c9763fd911;hp=85c671e09d3ad8ffd87f185153625dd9f7c2c344;hpb=3e5e5a12e64630d7a37ed32b8d7e2d993c79f7e0;p=palacios.git

diff --git a/palacios/src/palacios/vmm_time.c b/palacios/src/palacios/vmm_time.c
index 85c671e..44d5d02 100644
--- a/palacios/src/palacios/vmm_time.c
+++ b/palacios/src/palacios/vmm_time.c
@@ -77,3 +77,15 @@ void v3_update_time(struct guest_info * info, uint64_t cycles) {
 
     //info->time_state.pending_cycles = 0;
 }
+
+void v3_advance_time(struct guest_info * core) {
+    struct vm_timer * tmp_timer;
+
+
+    list_for_each_entry(tmp_timer, &(core->time_state.timers), timer_link) {
+	tmp_timer->ops->advance_timer(core, tmp_timer->private_data);
+    }
+  
+
+
+}