Description of problem: Need to make resend_irq_on_evtchn() non-static for ia64 use. cset#13567 fixes the issue.
It turns out this is not necessary for RHEL5 kernel since the function is already non-static.