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