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