From 8220bfaf0be617b1412328197938102b7485b331 Mon Sep 17 00:00:00 2001
From: Philipp Kupferschmied <pk@ibds.uka.de>
Date: Mon, 23 Feb 2009 10:01:35 +0100
Subject: [PATCH] Fixed double-allocation of page for UTCB pointers. Thanks to
 M. Kroll

---
 kernel/src/glue/v4-x86/space.cc | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/kernel/src/glue/v4-x86/space.cc b/kernel/src/glue/v4-x86/space.cc
index f8bed7c1..b6ae3740 100644
--- a/kernel/src/glue/v4-x86/space.cc
+++ b/kernel/src/glue/v4-x86/space.cc
@@ -706,11 +706,6 @@ void SECTION(".init.memory") space_t::init_kernel_mappings()
      * each processor gets a full cache line to avoid bouncing 
      * page is user-writable and global
      */
-    EXTERN_KMEM_GROUP(kmem_misc);
-    add_mapping((addr_t)UTCB_MAPPING,	
-		virt_to_phys(kmem.alloc(kmem_misc, X86_PAGE_SIZE)), 
-		pgent_t::size_4k, true,	false, true);
-    
     EXTERN_KMEM_GROUP(kmem_misc); 
     utcb_page = kmem.alloc(kmem_misc, X86_PAGE_SIZE);
     ASSERT(utcb_page);