diff --git a/drivers/xen/events.c b/drivers/xen/events.c
index 0b14a9bb..090a3b7 100644
--- a/drivers/xen/events.c
+++ b/drivers/xen/events.c
@@ -1215,12 +1215,14 @@
 {
 	int irq;
 
+#ifdef CONFIG_X86
 	if (unlikely(vector == XEN_NMI_VECTOR)) {
 		int rc =  HYPERVISOR_vcpu_op(VCPUOP_send_nmi, cpu, NULL);
 		if (rc < 0)
 			printk(KERN_WARNING "Sending nmi to CPU%d failed (rc:%d)\n", cpu, rc);
 		return;
 	}
+#endif
 	irq = per_cpu(ipi_to_irq, cpu)[vector];
 	BUG_ON(irq < 0);
 	notify_remote_via_irq(irq);