Index: arch/ppc32/include/asm.h
===================================================================
--- arch/ppc32/include/asm.h	(revision 762a824d7d738807864445bcf60c992a391a4472)
+++ arch/ppc32/include/asm.h	(revision 16dad0326d5098846c35e2175b8768aef9de8b36)
@@ -41,5 +41,5 @@
  */
 static inline ipl_t interrupts_enable(void) {
-	ipl_t v = 0;
+	ipl_t v;
 	ipl_t tmp;
 	
Index: arch/ppc32/src/interrupt.c
===================================================================
--- arch/ppc32/src/interrupt.c	(revision 762a824d7d738807864445bcf60c992a391a4472)
+++ arch/ppc32/src/interrupt.c	(revision 16dad0326d5098846c35e2175b8768aef9de8b36)
@@ -39,5 +39,6 @@
 	asm volatile (
 		"mtdec %0\n"
-		:: "r" (1000)
+		:
+		: "r" (1000)
 	);
 }
@@ -57,4 +58,5 @@
 }
 
+
 /* Reregister irq to be IPC-ready */
 void irq_ipc_bind_arch(__native irq)