X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/d2904c5e14a2d9c6585ce5e2ff536584c91aeb99..72f8c5b742f7e0c579f3025c1e736ab5011c10ee:/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 de614eac8..cd8cc6fcf 100644
--- 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;
-}