Index: arch/ia32/src/interrupt.c
===================================================================
--- arch/ia32/src/interrupt.c	(revision 6de2480e819cb6659290da33064f6e6ee09969df)
+++ arch/ia32/src/interrupt.c	(revision c01bd2804fd614b41795206b217e7ea7ab277eb3)
@@ -102,5 +102,6 @@
         if ((CPU->fpu_owner)!=NULL) 
 	{  
-//	        printf("owner %X\n",(int)(&((CPU->fpu_owner)->saved_fpu_context)));        
+//		printf("tid:%d \n", THREAD->tid);
+//		printf("owner:%d\n", (CPU->fpu_owner)->tid);
 	        fpu_lazy_context_save(&((CPU->fpu_owner)->saved_fpu_context));