Index: arch/ia32/src/interrupt.c
===================================================================
--- arch/ia32/src/interrupt.c	(revision 6a27d63e7b18736b0881629dbb6394d379111ab4)
+++ arch/ia32/src/interrupt.c	(revision da79d0fdad931cfe4861e0f4095c0bbdb92fb4a3)
@@ -89,8 +89,8 @@
 {
 
-        if (((CPU->arch).fpu_owner)!=NULL) 
+        if ((CPU->fpu_owner)!=NULL) 
 	{  
-		fpu_lazy_context_save(&(((CPU->arch).fpu_owner)->saved_fpu_context));
-		((CPU->arch).fpu_owner)->fpu_context_engaged=0; /* Enables migration */
+		fpu_lazy_context_save(&((CPU->fpu_owner)->saved_fpu_context));
+		(CPU->fpu_owner)->fpu_context_engaged=0; /* Enables migration */
 	}
 	
@@ -98,5 +98,5 @@
         else {fpu_init();THREAD->fpu_context_exists=1;}
 
-	(CPU->arch).fpu_owner=THREAD;
+	CPU->fpu_owner=THREAD;
 
 	reset_TS_flag();