diff --git a/include/microkernel/task_irq.h b/include/microkernel/task_irq.h
index 6ad43628dac..92aaf460ebd 100644
--- a/include/microkernel/task_irq.h
+++ b/include/microkernel/task_irq.h
@@ -37,13 +37,6 @@
 
 #define INVALID_VECTOR 0xFFFFFFFF
 
-struct task_irq_info {
-	ktask_t taskId;  /* task ID of task IRQ object's owner */
-	uint32_t irq;    /* IRQ used by task IRQ object */
-	kevent_t event;  /* event number assigned to task IRQ object */
-	uint32_t vector; /* interrupt vector assigned to task IRQ object */
-};
-
 extern uint32_t task_irq_alloc(kirq_t irq_obj,
 				      uint32_t irq,
 				      uint32_t priority);
diff --git a/kernel/microkernel/k_irq.c b/kernel/microkernel/k_irq.c
index 5335e775a32..e18e1cc0709 100644
--- a/kernel/microkernel/k_irq.c
+++ b/kernel/microkernel/k_irq.c
@@ -70,6 +70,15 @@ struct irq_obj_reg_arg {
 	ktask_t taskId; /* requesting task */
 };
 
+/* task IRQ object type */
+
+struct task_irq_info {
+	ktask_t taskId;  /* task ID of task IRQ object's owner */
+	uint32_t irq;    /* IRQ used by task IRQ object */
+	kevent_t event;  /* event number assigned to task IRQ object */
+	uint32_t vector; /* interrupt vector assigned to task IRQ object */
+};
+
 /* task IRQ object array */
 
 static struct task_irq_info task_irq_object[MAX_TASK_IRQS] = {