* 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.4 $
+ * $Revision: 1.6 $
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "COPYING".
static void Timer_Interrupt_Handler(struct Interrupt_State* state)
{
- struct Kernel_Thread* current = g_currentThread;
+ struct Kernel_Thread* current = g_currentThread;
Begin_IRQ(state);
- SerialPrintLevel(1,"Host Timer Interrupt Handler Running\n");
+ SerialPrint("Host Timer Interrupt Handler running\n");
/* Update global and per-thread number of ticks */
++g_numTicks;
* to choose a new thread.
*/
if (current->numTicks >= g_Quantum) {
- g_needReschedule = true;
+ g_needReschedule = true;
}