Index: kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h	(revision b56481c2418e00a24a67d87af75bece43763f37e)
+++ kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h	(revision 4bd3f45f52d8bd3feab6d541bd28616be5a25fdd)
@@ -147,5 +147,4 @@
 }
 
-
 static inline void amdm37x_irc_init(amdm37x_irc_regs_t *regs)
 {