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