update

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

diff --git a/kernel/fiasco/src/kern/ia32/64/context-ia32-64.cpp b/kernel/fiasco/src/kern/ia32/64/context-ia32-64.cpp
index ce13abf95f9bbf41b542a1cce8726c8bcde836b7..a05253b7886f665825dc495ffdd9e8faf49314fe 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/64/context-ia32-64.cpp
+++ b/kernel/fiasco/src/kern/ia32/64/context-ia32-64.cpp
@@ -67,5 +67,5 @@ Context::store_segments()
 
 PROTECTED inline
 void
-Context::switch_gdt_user_entries(Context *)
+Context::load_gdt_user_entries(Context * /*old*/ = 0)
 {}