update

[l4.git] / kernel / fiasco / src / kern / ux / thread-ux.cpp

diff --git a/kernel/fiasco/src/kern/ux/thread-ux.cpp b/kernel/fiasco/src/kern/ux/thread-ux.cpp
index de614eac8aa5fadef2202ed0011d6116bb764ba3..cd8cc6fcf619ce592f6df8cf8464e2dfbbba4f7a 100644 (file)
--- a/kernel/fiasco/src/kern/ux/thread-ux.cpp
+++ b/kernel/fiasco/src/kern/ux/thread-ux.cpp
@@ -218,7 +218,7 @@ Thread::user_invoke()
             ? Kmem::virt_to_phys(Kip::k()) : 0));
 }
 
-PRIVATE inline
+PROTECTED inline
 int
 Thread::sys_control_arch(Utcb *utcb)
 {
@@ -228,14 +228,14 @@ Thread::sys_control_arch(Utcb *utcb)
 }
 
 //---------------------------------------------------------------------------
-IMPLEMENTATION [ux-segments]:
+IMPLEMENTATION [ux]:
 
 #include "gdt.h"
 #include <feature.h>
 
 KIP_KERNEL_FEATURE("segments");
 
-PRIVATE inline
+PROTECTED inline
 bool
 Thread::invoke_arch(L4_msg_tag &tag, Utcb *utcb)
 {
@@ -310,14 +310,3 @@ Thread::invoke_arch(L4_msg_tag &tag, Utcb *utcb)
       return false;
     };
 }
-
-
-//---------------------------------------------------------------------------
-IMPLEMENTATION [ux && !segments]:
-
-PRIVATE inline
-bool
-Thread::invoke_arch(L4_msg_tag &, Utcb *)
-{
-  return false;
-}