Index: kernel/arch/ppc32/src/interrupt.c
===================================================================
--- kernel/arch/ppc32/src/interrupt.c	(revision 1e241723f8bf25509356cb56bbf4d3a477c3fac5)
+++ kernel/arch/ppc32/src/interrupt.c	(revision 81df0ce1a52271cd6aa1c12bf28a8cbc62bb4f61)
@@ -93,6 +93,6 @@
 static void exception_decrementer(int n, istate_t *istate)
 {
+	start_decrementer();
 	clock();
-	start_decrementer();
 }