Index: kernel/test/atomic/atomic1.c
===================================================================
--- kernel/test/atomic/atomic1.c	(revision 319e60e55b0b59b46de5960c99fbbfe193c9017a)
+++ kernel/test/atomic/atomic1.c	(revision 70b6de17d76360ed8d3b167e184fa20dc135a760)
@@ -64,4 +64,3 @@
 	printf("Time: %.*d cycles\n", sizeof(dt) * 2, dt);
 #endif
-	return;
 }