update

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

diff --git a/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp b/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
index 6cb98148e684c1408298f1d29ed8b3677cd3ada1..ff4fda5dad7c4b30be71e4b0365b3124c9688650 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
@@ -58,9 +58,6 @@ public:
   void page_protect    (Address virt, Address size,
                          unsigned page_attribs);
 
-  void switch_ldt();
-
-
 protected:
   // DATA
   Dir_type *_dir;