1.1 --- a/src/timer.c	Wed Aug 17 05:39:39 2011 +0300
     1.2 +++ b/src/timer.c	Wed Aug 17 05:42:44 2011 +0300
     1.3 @@ -49,7 +49,7 @@
     1.4  };
     1.5  
     1.6  
     1.7 -static void intr_handler();
     1.8 +static void timer_handler();
     1.9  
    1.10  
    1.11  static struct timer_event *evlist;
    1.12 @@ -72,7 +72,7 @@
    1.13  	outb((reload_count >> 8) & 0xff, PORT_DATA0);
    1.14  
    1.15  	/* set the timer interrupt handler */
    1.16 -	interrupt(IRQ_TO_INTR(0), intr_handler);
    1.17 +	interrupt(IRQ_TO_INTR(0), timer_handler);
    1.18  }
    1.19  
    1.20  void sleep(unsigned long msec)
    1.21 @@ -133,7 +133,7 @@
    1.22   * every 1/250th of a second, so it must be extremely fast.
    1.23   * For now, just increasing a tick counter will suffice.
    1.24   */
    1.25 -static void intr_handler(int inum)
    1.26 +static void timer_handler(int inum)
    1.27  {
    1.28  	int istate;
    1.29  	struct process *p;