*** empty log message ***

[palacios.git] / palacios / include / palacios / vmm_time.h

diff --git a/palacios/include/palacios/vmm_time.h b/palacios/include/palacios/vmm_time.h
index 2411187..9af1840 100644 (file)
--- 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