Index: kernel/generic/include/ipc/irq.h
===================================================================
--- kernel/generic/include/ipc/irq.h	(revision acf6b55769a37eb650905504688103655ff52925)
+++ kernel/generic/include/ipc/irq.h	(revision 9a5ae815b43ebe562be9124064e24c56f08f6b1e)
@@ -47,5 +47,4 @@
 #include <adt/list.h>
 
-
 extern irq_ownership_t ipc_irq_top_half_claim(irq_t *);
 extern void ipc_irq_top_half_handler(irq_t *);