From a81e02133a2e8cb20ba62113a67bc9bee746c8bf Mon Sep 17 00:00:00 2001
From: kaashoek <kaashoek>
Date: Mon, 4 Sep 2006 12:41:27 +0000
Subject: [PATCH] a few nits

---
 lapic.c  | 1 -
 picirq.c | 2 --
 trap.c   | 2 +-
 3 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/lapic.c b/lapic.c
index d2d3674..4bc6f2c 100644
--- a/lapic.c
+++ b/lapic.c
@@ -114,7 +114,6 @@ lapic_timerinit(void)
 void
 lapic_timerintr(void)
 {
-  // cprintf("cpu%d: timer interrupt!\n", cpu());
   lapic_write (LAPIC_EOI, 0);
 }
 
diff --git a/picirq.c b/picirq.c
index 86d1d1d..b53e4d4 100644
--- a/picirq.c
+++ b/picirq.c
@@ -1,5 +1,3 @@
-/* See COPYRIGHT for copyright information. */
-
 #include "types.h"
 #include "x86.h"
 #include "traps.h"
diff --git a/trap.c b/trap.c
index bbb2500..fc872e6 100644
--- a/trap.c
+++ b/trap.c
@@ -21,7 +21,7 @@ tvinit(void)
   for(i = 0; i < 256; i++){
     SETGATE(idt[i], 1, SEG_KCODE << 3, vectors[i], 0);
   }
-  SETGATE(idt[T_SYSCALL], 1, SEG_KCODE << 3, vectors[48], 3);
+  SETGATE(idt[T_SYSCALL], 1, SEG_KCODE << 3, vectors[T_SYSCALL], 3);
 }
 
 void