pintos-os.org Git - pintos-anon/blob - src/devices/timer.c

   1 #include "timer.h"
   2 #include "debug.h"
   3 #include "interrupt.h"
   4 #include "io.h"
   5
   6 #if TIMER_FREQ < 19
   7 #error 8254 timer requires TIMER_FREQ >= 19
   8 #endif
   9
  10 static volatile uint64_t ticks;
  11
  12 static void
  13 irq20_timer (struct intr_frame *args UNUSED)
  14 {
  15   ticks++;
  16   intr_yield_on_return ();
  17 }
  18
  19 /* Sets up the 8254 Programmable Interrupt Timer (PIT) to
  20    interrupt PIT_FREQ times per second, and registers the
  21    corresponding interrupt. */
  22 void
  23 timer_init (void)
  24 {
  25   /* 8254 input frequency divided by TIMER_FREQ, rounded to
  26      nearest. */
  27   uint16_t count = (1193180 + TIMER_FREQ / 2) / TIMER_FREQ;
  28
  29   outb (0x43, 0x34);    /* CW: counter 0, LSB then MSB, mode 2, binary. */
  30   outb (0x40, count & 0xff);
  31   outb (0x40, count >> 8);
  32
  33   intr_register (0x20, 0, IF_OFF, irq20_timer, "8254 Timer");
  34 }
  35
  36 uint64_t
  37 timer_ticks (void)
  38 {
  39   enum if_level old_level = intr_disable ();
  40   uint64_t t = ticks;
  41   intr_set_level (old_level);
  42   return t;
  43 }
  44
  45 uint64_t
  46 timer_elapsed (uint64_t then)
  47 {
  48   uint64_t now = timer_ticks ();
  49   return now > then ? now - then : ((uint64_t) -1 - then) + now + 1;
  50 }
  51
  52 /* Suspends execution for at least DURATION ticks. */
  53 void
  54 timer_wait_until (uint64_t duration)
  55 {
  56   /* FIXME */
  57 }