update

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

diff --git a/kernel/fiasco/src/kern/ia32/32/context-ia32-32.cpp b/kernel/fiasco/src/kern/ia32/32/context-ia32-32.cpp
index dcc0d64f743e47cfdaff73d1d5e170e4d5da83a9..b6be1bd6b6863c1b900b16011f0ddfcb2837bacc 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/32/context-ia32-32.cpp
+++ b/kernel/fiasco/src/kern/ia32/32/context-ia32-32.cpp
@@ -1,4 +1,4 @@
-INTERFACE[ia32 && segments]:
+INTERFACE[ia32]:
 
 #include "x86desc.h"
 
@@ -12,7 +12,7 @@ protected:
 
 
 //-----------------------------------------------------------------------------
-IMPLEMENTATION[ia32 && segments]:
+IMPLEMENTATION[ia32]:
 
 #include "cpu.h"
 #include "gdt.h"
@@ -28,7 +28,7 @@ Context::switch_gdt_user_entries(Context *to)
 
 
 //---------------------------------------------------------------------------
-IMPLEMENTATION [ia32,ux]:
+IMPLEMENTATION [ia32 || ux]:
 
 
 IMPLEMENT inline NEEDS [Context::update_consumed_time,
@@ -63,5 +63,3 @@ Context::switch_cpu (Context *t)
      : "c" (&_kernel_sp), "S" (&t->_kernel_sp), "D" (t), "d" (this)
      : "eax", "ebx", "memory");
 }
-
-