Mask PIT timer IRQ by default
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 9 Dec 2013 03:43:44 +0000 (19:43 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 16 Jan 2014 21:07:51 +0000 (13:07 -0800)
Needed for Ron's machine.

kern/arch/x86/apic.c

index 38e3d27..a55fd11 100644 (file)
@@ -217,6 +217,8 @@ uint32_t lapic_get_default_id(void)
 
 // timer init calibrates both tsc timer and lapic timer using PIT
 void timer_init(void){
+       /* some boards have this unmasked early on. */
+       pic_mask_irq(0);
        uint64_t tscval[2];
        long timercount[2];
        pit_set_timer(0xffff, TIMER_RATEGEN);