update

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

diff --git a/kernel/fiasco/src/kern/ux/context-ux.cpp b/kernel/fiasco/src/kern/ux/context-ux.cpp
index 32df20038e13e186455136b600f18bbee3333088..9235c30f58fde3fc5c304b0c65c1bbab28b40766 100644 (file)
--- a/kernel/fiasco/src/kern/ux/context-ux.cpp
+++ b/kernel/fiasco/src/kern/ux/context-ux.cpp
@@ -20,6 +20,11 @@ void
 Context::switch_fpu (Context *)
 {}
 
+PUBLIC inline
+void
+Context::spill_fpu()
+{}
+
 PUBLIC inline
 bool
 Context::is_native()