update

[l4.git] / kernel / fiasco / src / kern / ia32 / context-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/context-ia32.cpp b/kernel/fiasco/src/kern/ia32/context-ia32.cpp
index fef0f93dae6e24c18d5bf36d40f2f5373d11d418..98a42ec27bbe22e4587cae0ebe4e5b569b12102a 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/context-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/context-ia32.cpp
@@ -21,7 +21,7 @@ void
 Context::fill_user_state()
 {}
 
-/** Thread context switchin.  Called on every re-activation of a thread 
+/** Thread context switchin.  Called on every re-activation of a thread
     (switch_exec()).  This method is public only because it is called from
     from assembly code in switch_cpu().
  */
@@ -43,15 +43,10 @@ Context::switchin_context(Context *from)
 
   // load new segment selectors
   load_segments();
-
-  // update the global UTCB pointer to make the thread find its UTCB 
-  // using gs:[0]
-  Mem_layout::user_utcb_ptr(current_cpu()) = local_id();
 }
 
-
 //---------------------------------------------------------------------------
-IMPLEMENTATION [segments]:
+IMPLEMENTATION [ia32 || ux]:
 
 PROTECTED inline NEEDS["cpu.h"]
 void
@@ -70,22 +65,3 @@ Context::store_segments()
   _fs = Cpu::get_fs();
   _gs = Cpu::get_gs();
 }
-
-
-//---------------------------------------------------------------------------
-IMPLEMENTATION [!segments]:
-
-PROTECTED inline
-void
-Context::load_segments()
-{}
-
-PROTECTED inline
-void
-Context::store_segments()
-{}
-
-PROTECTED inline
-void
-Context::switch_gdt_user_entries(Context *)
-{}