Index: test/fpu/fpu1/test.c
===================================================================
--- test/fpu/fpu1/test.c	(revision e3f41b62d5b503ff9a3beb8ab121cc305d5f2fd7)
+++ test/fpu/fpu1/test.c	(revision e41c47e1d7d10c98e4e47d12b4b3f9df0bd9029a)
@@ -70,5 +70,5 @@
 	}
 
-	atomic_inc((int *) &threads_ok);
+	atomic_inc(&threads_ok);
 }
 
@@ -100,5 +100,5 @@
 	}
 
-	atomic_inc((int *) &threads_ok);
+	atomic_inc(&threads_ok);
 }