formatting updates

spinlock.h

@@ -9,46 +9,3 @@ struct spinlock {
                  // that locked the lock.
 };
 
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-// Blank page.

timer.c

@@ -30,3 +30,36 @@ timer_init(void)
   outb(IO_TIMER1, TIMER_DIV(100) / 256);
   pic_enable(IRQ_TIMER);
 }
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+// Blank page
+
+
+
+
+
+
+
+
+
+
+
+
+
+