Index: kernel/generic/include/ipc/irq.h
===================================================================
--- kernel/generic/include/ipc/irq.h	(revision acf6b55769a37eb650905504688103655ff52925)
+++ kernel/generic/include/ipc/irq.h	(revision 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 *);