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