X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=geekos%2Fsrc%2Fgeekos%2Ftimer.c;fp=geekos%2Fsrc%2Fgeekos%2Ftimer.c;h=8409fd704ea608cc5dd3e499fce26ff9c6843a35;hp=964f50b4dd4d076980842b11d8506f1656e5e2c5;hb=a46778669bb94bcf6b0a05646123ff748cfe86be;hpb=82cceefa66b1f05d8f9d5bfcb2fb7214755e1904

diff --git a/geekos/src/geekos/timer.c b/geekos/src/geekos/timer.c
index 964f50b..8409fd7 100644
--- a/geekos/src/geekos/timer.c
+++ b/geekos/src/geekos/timer.c
@@ -22,6 +22,8 @@
 
 #include <geekos/io_defs.h>
 
+#include <geekos/vmm_stubs.h>
+
 /* PAD this currently is in nvram.c */
 /* JRL: This is completely broken
 extern void deliver_timer_interrupt_to_vmm(uint_t period_us);
@@ -218,9 +220,9 @@ static void Timer_Interrupt_Handler(struct Interrupt_State* state)
     
   }
   
-  /* JRL: Broken,  
-  deliver_timer_interrupt_to_vmm(1000000/HZ);
-  */
+
+  send_tick_to_vmm(1000000/HZ);
+
   End_IRQ(state);
 }