diff --git a/kernel/irq/manage.c b/kernel/irq/manage.c
index 2bc86869859e12450fe496a289b0d3c2bb547d4b..67ce837ae52cdd70115a8ce436f923e96a26adc4 100644
--- a/kernel/irq/manage.c
+++ b/kernel/irq/manage.c
@@ -1435,7 +1435,7 @@ void enable_percpu_irq(unsigned int irq, unsigned int type)
 		ret = __irq_set_trigger(desc, irq, type);
 
 		if (ret) {
-			WARN(1, "failed to set type for IRQ%d\n, irq");
+			WARN(1, "failed to set type for IRQ%d\n", irq);
 			goto out;
 		}
 	}