Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision cecb07892c77b379e9e44411c961635f85a64910)
+++ kernel/generic/src/ipc/irq.c	(revision dbaaf0a79914836d585e4d8cdf4bfbc5768d8184)
@@ -164,5 +164,5 @@
 	irq->inr = inr;
 	irq->claim = ipc_irq_top_half_claim;
-	irq->handler = ipc_irq_top_half_handler;	
+	irq->handler = ipc_irq_top_half_handler;
 	irq->notif_cfg.notify = true;
 	irq->notif_cfg.answerbox = box;