Index: sys/xen/xen_intr.h
===================================================================
--- sys/xen/xen_intr.h
+++ sys/xen/xen_intr.h
@@ -135,6 +135,7 @@
 	driver_filter_t filter, driver_intr_t handler,
 	void *arg, enum intr_type irqflags, xen_intr_handle_t *handlep);
 
+#if defined(__amd64__) || defined(__i386__)
 /**
  * Allocate a local event channel port for servicing interprocessor
  * interupts and, if successful, associate the port with the specified
@@ -151,6 +152,7 @@
 int xen_intr_alloc_and_bind_ipi(u_int cpu,
 	driver_filter_t filter, enum intr_type irqflags,
 	xen_intr_handle_t *handlep);
+#endif
 
 /**
  * Unbind an interrupt handler from its interrupt source.
Index: sys/xen/xen_intr.c
===================================================================
--- sys/xen/xen_intr.c
+++ sys/xen/xen_intr.c
@@ -1158,6 +1158,7 @@
 	return (0);
 }
 
+#if defined(__amd64__) || defined(__i386__)
 int
 xen_intr_alloc_and_bind_ipi(u_int cpu, driver_filter_t filter,
     enum intr_type flags, xen_intr_handle_t *port_handlep)
@@ -1213,6 +1214,7 @@
 	return (EOPNOTSUPP);
 #endif
 }
+#endif
 
 int
 xen_intr_describe(xen_intr_handle_t port_handle, const char *fmt, ...)