Index: arch/ia32/src/context.s
===================================================================
--- arch/ia32/src/context.s	(revision be50915b55e66438dd5e7bb881b76268b26a5dee)
+++ arch/ia32/src/context.s	(revision 5dc21120e7649bb8e22fdf4cec2cf2234836a312)
@@ -85,4 +85,5 @@
 
 .global fpu_lazy_context_save
+fpu_lazy_context_save:
     mov 4(%esp),%eax;
     fxsave (%eax)
@@ -90,4 +91,5 @@
     ret;
 .global fpu_lazy_context_restore
+fpu_lazy_context_restore:
     mov 4(%esp),%eax;
     fxrstor (%eax)