X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Ftimer.c;h=e287b6e21b8d12fd86be97e58b1f55c7934712cb;hb=963271f089c8da043d1c0f5d1549f13f794a4c6b;hp=9a54ff2e2a5ef54552d4b184568464f69de0ca35;hpb=30f88bcf48e9bf46f69a8ef16dbadfe66ce145c9;p=palacios.git

diff --git a/palacios/src/geekos/timer.c b/palacios/src/geekos/timer.c
index 9a54ff2..e287b6e 100644
--- a/palacios/src/geekos/timer.c
+++ b/palacios/src/geekos/timer.c
@@ -23,7 +23,9 @@
 #include <geekos/io_defs.h>
 
 /* PAD this currently is in nvram.c */
+/* JRL: This is completely broken
 extern void deliver_timer_interrupt_to_vmm(uint_t period_us);
+*/
 
 /* JRL Add a cpu frequency measurement */
 uint_t cpu_khz_freq;
@@ -217,9 +219,9 @@ static void Timer_Interrupt_Handler(struct Interrupt_State* state)
     
   }
   
-  
+  /* JRL: Broken,  
   deliver_timer_interrupt_to_vmm(1000000/HZ);
-  
+  */
   End_IRQ(state);
 }