diff --git a/xen/include/asm-ia64/linux/asm/irq.h b/xen/include/asm-ia64/linux/asm/irq.h
index bd07d11d9f..687f49fefa 100644
--- a/xen/include/asm-ia64/linux/asm/irq.h
+++ b/xen/include/asm-ia64/linux/asm/irq.h
@@ -40,4 +40,6 @@ struct irqaction;
 struct pt_regs;
 int handle_IRQ_event(unsigned int, struct pt_regs *, struct irqaction *);
 
+extern fastcall unsigned int __do_IRQ(unsigned int irq, struct pt_regs *regs);
+
 #endif /* _ASM_IA64_IRQ_H */
diff --git a/xen/include/xen/irq.h b/xen/include/xen/irq.h
index 94d3bbb671..7b1f826198 100644
--- a/xen/include/xen/irq.h
+++ b/xen/include/xen/irq.h
@@ -71,6 +71,5 @@ struct vcpu;
 extern int pirq_guest_unmask(struct domain *p);
 extern int pirq_guest_bind(struct vcpu *p, int irq, int will_share);
 extern int pirq_guest_unbind(struct domain *p, int irq);
-extern  fastcall unsigned int __do_IRQ(unsigned int irq, struct pt_regs *regs);
 
 #endif /* __XEN_IRQ_H__ */