Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/ddi/irq.h	(revision 2f1c88e88f3d33245f94ca59d2b772d4dd5d1f56)
@@ -57,8 +57,8 @@
 struct irq;
 
-typedef void (* irq_handler_t)(struct irq *);
+typedef void (*irq_handler_t)(struct irq *);
 
 /** Type for function used to clear the interrupt. */
-typedef void (* cir_t)(void *, inr_t);
+typedef void (*cir_t)(void *, inr_t);
 
 /** IPC notification config structure.
@@ -114,5 +114,5 @@
 	irq_trigger_t trigger;
 	/** Claim ownership of the IRQ. */
-	irq_ownership_t (* claim)(struct irq *);
+	irq_ownership_t (*claim)(struct irq *);
 	/** Handler for this IRQ and device. */
 	irq_handler_t handler;