diff --git a/arch/x86/kernel/irq.c b/arch/x86/kernel/irq.c
index 053cfa89..e2cde9d5 100644
--- a/arch/x86/kernel/irq.c
+++ b/arch/x86/kernel/irq.c
@@ -234,7 +234,7 @@ void irq_handler(struct state *s)
 	/* This is a blank function pointer */
 	void (*handler) (struct state * s);
 
-	check_workqueues_with_irq(s->int_no);
+	check_workqueues_in_irqhandler(s->int_no);
 
 	/* 
 	 * Find out if we have a custom handler to run for this
diff --git a/include/metalsvm/tasks.h b/include/metalsvm/tasks.h
index cc5f59f1..9e6ab05f 100644
--- a/include/metalsvm/tasks.h
+++ b/include/metalsvm/tasks.h
@@ -200,7 +200,7 @@ uint32_t get_highest_priority(void);
  */
 void reschedule(void);
 
-static inline void check_workqueues_with_irq(int irq)
+static inline void check_workqueues_in_irqhandler(int irq)
 {
 #ifdef CONFIG_ROCKCREEK
 	if (irq != 124)
@@ -213,7 +213,7 @@ static inline void check_workqueues_with_irq(int irq)
 static inline void check_workqueues(void)
 {
 	// call with invalid interrupt number
-	check_workqueues_with_irq(-1);
+	check_workqueues_in_irqhandler(-1);
 }
 
 #ifdef __cplusplus