# HG changeset patch
# User kasai.takanori@jp.fujitsu.com
# Date 1168393185 -32400
# Node ID d11d2e7de483ee636c6cb83a14b06b5564069658
# Parent  9865145e53eb02ddc2e2792f80bb7d54bc754a65
Fix evtchn interface

Signed-off-by: Takanori Kasai <Kasai.Takanori@jp.fujitsu.com>
Signed-off-by: Tsunehisa Doi <Doi.Tsunehisa@jp.fujitsu.com>

diff -r 9865145e53eb -r d11d2e7de483 unmodified_drivers/linux-2.6/platform-pci/evtchn.c
--- a/unmodified_drivers/linux-2.6/platform-pci/evtchn.c	Fri Jan 05 18:17:36 2007 +0000
+++ b/unmodified_drivers/linux-2.6/platform-pci/evtchn.c	Wed Jan 10 10:39:45 2007 +0900
@@ -158,6 +158,12 @@ void notify_remote_via_irq(int irq)
 	notify_remote_via_evtchn(evtchn);
 }
 EXPORT_SYMBOL(notify_remote_via_irq);
+
+int irq_to_evtchn_port(int irq)
+{
+        return irq;
+}
+EXPORT_SYMBOL_GPL(irq_to_evtchn_port);
 
 irqreturn_t evtchn_interrupt(int irq, void *dev_id, struct pt_regs *regs)
 {