Index: src/proc/scheduler.c
===================================================================
--- src/proc/scheduler.c	(revision d5d2a3ff84d6d7012c3225ebf93d3becc7bfeb68)
+++ src/proc/scheduler.c	(revision ac5d02b7ec81adf50a7070d07dc35f5f6df54639)
@@ -269,7 +269,7 @@
 			    spinlock_unlock(&threads_lock);
 
-			    spinlock_lock(&THREAD->cpu->lock);
-			    if(THREAD->cpu->fpu_owner==THREAD) THREAD->cpu->fpu_owner=NULL;
-			    spinlock_unlock(&THREAD->cpu->lock);
+			    spinlock_lock(&CPU->lock);
+			    if(CPU->fpu_owner==THREAD) CPU->fpu_owner=NULL;
+			    spinlock_unlock(&CPU->lock);