X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_time.h;h=9af1840cd07f0d46a4caaf5248ca2e1577a1d7c5;hp=2411187bd2f266ee578ad35c7b1145de0d5bead3;hb=90b8236597004a37a9d5acb33a1b1f987fe9070c;hpb=d8fc6aa4bc2a5d9cec50923e9d2bd30f867dd50a

diff --git a/palacios/include/palacios/vmm_time.h b/palacios/include/palacios/vmm_time.h
index 2411187..9af1840 100644
--- a/palacios/include/palacios/vmm_time.h
+++ b/palacios/include/palacios/vmm_time.h
@@ -17,7 +17,7 @@ struct vm_time {
   ullong_t cached_host_tsc;
 
   // The number of cycles pending for notification to the timers
-  ullong_t pending_cycles;
+  //ullong_t pending_cycles;
 
   // Installed Timers 
   uint_t num_timers;
@@ -32,7 +32,7 @@ struct vm_timer_ops {
 
 struct vm_timer {
   void * private_data;
-  struct vm_timer_ops ops;
+  struct vm_timer_ops * ops;
 
   struct list_head timer_link;
 };
@@ -47,6 +47,6 @@ int v3_add_timer(struct guest_info * info, struct vm_timer_ops * ops, void * pri
 int v3_remove_timer(struct guest_info * info, struct vm_timer * timer);
 
 
-void v3_update_timers(struct guest_info * info);
+void v3_update_time(struct guest_info * info, ullong_t cycles);
 
 #endif