xen_intr_alloc_and_bind_ipi() is strictly used on x86, other
architectures do not need the function. The functionality is tied to
the core of the Xen interrupt handling and thus needs to remain in
Appears xen_intr_alloc_and_bind_ipi() was originally pulled to make getting things working easier. Appears it does in fact build on other architectures, but it isn't needed elsewhere. One can argue for or against pulling it on other architectures.