From 6bb9221395b3bde9af6f5a2c3ccc118c0da2aab8 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@26-4-190.dynamic.csail.mit.edu>
Date: Thu, 1 Sep 2011 13:18:02 -0400
Subject: [PATCH] Fix layout

---
 x86.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/x86.h b/x86.h
index 0c3feae..503afdb 100644
--- a/x86.h
+++ b/x86.h
@@ -170,7 +170,6 @@ xchg(volatile uint *addr, uint newval)
   return result;
 }
 
-//PAGEBREAK!
 static inline void
 lcr0(uint val)
 {