Index: kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h	(revision d1714e897b2c6dace683a575d23d7b6dac310b42)
+++ kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h	(revision b56481c2418e00a24a67d87af75bece43763f37e)
@@ -165,7 +165,7 @@
 
 	/* Disable all interrupts */
-	regs->interrupts[0].mir_clear = 0xffffffff;
-	regs->interrupts[1].mir_clear = 0xffffffff;
-	regs->interrupts[2].mir_clear = 0xffffffff;
+	regs->interrupts[0].mir_set = 0xffffffff;
+	regs->interrupts[1].mir_set = 0xffffffff;
+	regs->interrupts[2].mir_set = 0xffffffff;
 }
 
@@ -186,4 +186,12 @@
 
 static inline void amdm37x_irc_enable(amdm37x_irc_regs_t *regs, unsigned inum)
+{
+	ASSERT(inum < AMDM37x_IRC_IRQ_COUNT);
+	const unsigned set = inum / 32;
+	const unsigned pos = inum % 32;
+	regs->interrupts[set].mir_clear = (1 << pos);
+}
+
+static inline void amdm37x_irc_disable(amdm37x_irc_regs_t *regs, unsigned inum)
 {
 	ASSERT(inum < AMDM37x_IRC_IRQ_COUNT);
@@ -193,12 +201,4 @@
 }
 
-static inline void amdm37x_irc_disable(amdm37x_irc_regs_t *regs, unsigned inum)
-{
-	ASSERT(inum < AMDM37x_IRC_IRQ_COUNT);
-	const unsigned set = inum / 32;
-	const unsigned pos = inum % 32;
-	regs->interrupts[set].mir_clear = (1 << pos);
-}
-
 #endif