diff --git a/arch/x86/core/inthndlset.c b/arch/x86/core/inthndlset.c
index 35b84a815c9..5fdf42d320a 100644
--- a/arch/x86/core/inthndlset.c
+++ b/arch/x86/core/inthndlset.c
@@ -80,11 +80,10 @@ extern unsigned char _IdtBaseAddress[];
 *
 */
 
-void irq_handler_set
-	(unsigned int vector,
-	 void (*oldRoutine)(void *parameter),
-	 void (*newRoutine)(void *parameter),
-	 void *parameter)
+void irq_handler_set(unsigned int vector,
+					 void (*oldRoutine)(void *parameter),
+					 void (*newRoutine)(void *parameter),
+					 void *parameter)
 {
 	unsigned int ix =
 		FIRST_OPT_OPCODE_OFF; /* call _IntEnt is not optional */