Index: arch/ia32/src/cpu/cpu.c
===================================================================
--- arch/ia32/src/cpu/cpu.c	(revision 79f1f38f331a80351aa543a6fed4a212c5e49201)
+++ arch/ia32/src/cpu/cpu.c	(revision 87be9cfb65b571df193dcb18b85b9e41323761fa)
@@ -93,5 +93,5 @@
 {
 	CPU->arch.tss = tss_p;
-	CPU->arch.fpu_owner=NULL;
+	CPU->fpu_owner=NULL;
 }