X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Ftimer.c;h=7c15550fd4100b0bb481965f884788559fc4571a;hb=23da9980e2369687e86d381a13b4a00544dca4da;hp=7355efb5e42d2448ba8aae6c0c72e272d4223a19;hpb=3c36ed92e446eabd03d2ab533eece3d227601e8c;p=palacios-OLD.git diff --git a/palacios/src/geekos/timer.c b/palacios/src/geekos/timer.c index 7355efb..7c15550 100644 --- a/palacios/src/geekos/timer.c +++ b/palacios/src/geekos/timer.c @@ -2,7 +2,7 @@ * GeekOS timer interrupt support * Copyright (c) 2001,2003 David H. Hovemeyer * Copyright (c) 2003, Jeffrey K. Hollingsworth - * $Revision: 1.8 $ + * $Revision: 1.9 $ * * This is free software. You are permitted to use, * redistribute, and modify it as specified in the file "COPYING". @@ -19,6 +19,9 @@ #include +/* PAD this currently is in nvram.c */ +extern void deliver_timer_interrupt_to_vmm(uint_t period_us); + /* JRL Add a cpu frequency measurement */ uint_t cpu_khz_freq; @@ -232,6 +235,8 @@ static void Timer_Interrupt_Handler(struct Interrupt_State* state) } + deliver_timer_interrupt_to_vmm(1000000/HZ); + End_IRQ(state); }