Index: kernel/arch/sparc64/src/drivers/tick.c
===================================================================
--- kernel/arch/sparc64/src/drivers/tick.c	(revision 2a0cda72348efa169106b8782a346c170a98dd49)
+++ kernel/arch/sparc64/src/drivers/tick.c	(revision 4e33b6b225ade31ba0ed3f0d717b4c3af3a41738)
@@ -100,6 +100,6 @@
 		CPU->missed_clock_ticks++;
 	}
-	CPU->arch.next_tick_cmpr = tick_read() + (CPU->arch.clock_frequency / HZ)
-		- drift;
+	CPU->arch.next_tick_cmpr = tick_read() + (CPU->arch.clock_frequency /
+		HZ) - drift;
 	tick_compare_write(CPU->arch.next_tick_cmpr);
 	clock();