From 74c77da6f8a21e905d51dceb6016769a3652b045 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Fri, 29 Aug 2014 17:06:49 -0400
Subject: [PATCH] Nice layout for a printout of the code

---
 bio.c       | 2 ++
 file.h      | 3 +++
 log.c       | 3 ---
 main.c      | 5 ++++-
 mp.h        | 2 ++
 runoff.spec | 2 +-
 vm.c        | 8 ++++++++
 7 files changed, 20 insertions(+), 5 deletions(-)

diff --git a/bio.c b/bio.c
index 916968d..6a28053 100644
--- a/bio.c
+++ b/bio.c
@@ -138,4 +138,6 @@ brelse(struct buf *b)
 
   release(&bcache.lock);
 }
+//PAGEBREAK!
+// Blank page.
 
diff --git a/file.h b/file.h
index c02f76c..5a4a463 100644
--- a/file.h
+++ b/file.h
@@ -36,3 +36,6 @@ struct devsw {
 extern struct devsw devsw[];
 
 #define CONSOLE 1
+
+//PAGEBREAK!
+// Blank page.
diff --git a/log.c b/log.c
index 0abe1fe..b66074c 100644
--- a/log.c
+++ b/log.c
@@ -227,6 +227,3 @@ log_write(struct buf *b)
   b->flags |= B_DIRTY; // prevent eviction
 }
 
-//PAGEBREAK!
-// Blank page.
-
diff --git a/main.c b/main.c
index 712958f..8a73c0f 100644
--- a/main.c
+++ b/main.c
@@ -113,4 +113,7 @@ pde_t entrypgdir[NPDENTRIES] = {
 
 //PAGEBREAK!
 // Blank page.
-
+//PAGEBREAK!
+// Blank page.
+//PAGEBREAK!
+// Blank page.
diff --git a/mp.h b/mp.h
index 6453f65..4d17283 100644
--- a/mp.h
+++ b/mp.h
@@ -52,3 +52,5 @@ struct mpioapic {       // I/O APIC table entry
 #define MPIOINTR  0x03  // One per bus interrupt source
 #define MPLINTR   0x04  // One per system interrupt source
 
+//PAGEBREAK!
+// Blank page.
diff --git a/runoff.spec b/runoff.spec
index 8f800ac..9247948 100644
--- a/runoff.spec
+++ b/runoff.spec
@@ -1,5 +1,5 @@
 # Is sheet 01 (after the TOC) a left sheet or a right sheet?
-sheet1: right
+sheet1: left
 
 # "left" and "right" specify which page of a two-page spread a file
 # must start on.  "left" means that a file must start on the first of
diff --git a/vm.c b/vm.c
index 4cffb58..5326d14 100644
--- a/vm.c
+++ b/vm.c
@@ -376,3 +376,11 @@ copyout(pde_t *pgdir, uint va, void *p, uint len)
   }
   return 0;
 }
+
+//PAGEBREAK!
+// Blank page.
+//PAGEBREAK!
+// Blank page.
+//PAGEBREAK!
+// Blank page.
+