* GeekOS timer interrupt support
* Copyright (c) 2001,2003 David H. Hovemeyer <daveho@cs.umd.edu>
* Copyright (c) 2003, Jeffrey K. Hollingsworth <hollings@cs.umd.edu>
- * $Revision: 1.7 $
+ * $Revision: 1.9 $
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "COPYING".
#include <geekos/debug.h>
+/* 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;
Begin_IRQ(state);
- SerialPrint("Host Timer Interrupt Handler running\n");
#if 0
#define STACK_LEN 256
+ SerialPrint("Host Timer Interrupt Handler running\n");
SerialPrint("Timer====\n");
Dump_Interrupt_State(state);
// SerialMemDump((unsigned char*)(¤t),STACK_LEN);
}
+ deliver_timer_interrupt_to_vmm(1000000/HZ);
+
End_IRQ(state);
}