diff --git a/arch/x86/kernel/irq.c b/arch/x86/kernel/irq.c
index d308d6b81..de109c989 100644
--- a/arch/x86/kernel/irq.c
+++ b/arch/x86/kernel/irq.c
@@ -290,7 +290,7 @@ size_t** irq_handler(struct state *s)
 
 	size_t** ret = NULL;
 
-	if(BUILTIN_EXPECT(s->int_no >= MAX_HANDLERS, 0)) {
+	if (BUILTIN_EXPECT(s->int_no >= MAX_HANDLERS, 0)) {
 		LOG_ERROR("Invalid IRQ number %d\n", s->int_no);
 		return NULL;
 	}