aboutsummaryrefslogtreecommitdiffstats
path: root/drivers/xen/events.c
diff options
context:
space:
mode:
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>2013-08-13 12:57:06 -0400
committerKonrad Rzeszutek Wilk <konrad.wilk@oracle.com>2013-08-20 10:23:09 -0400
commit072b2064b88f709c53a83c6ec1f1cb17bf7c0abf (patch)
tree6ce97c327a014e60992cea150b3e4211e4273787 /drivers/xen/events.c
parentc65a8370d7354720c74ba0c7427a48000b366bda (diff)
xen: fix ARM build after 6efa20e4
The following commit: commit 6efa20e49b9cb1db1ab66870cc37323474a75a13 Author: Konrad Rzeszutek Wilk <konrad@kernel.org> Date: Fri Jul 19 11:51:31 2013 -0400 xen: Support 64-bit PV guest receiving NMIs breaks the Xen ARM build: CC drivers/xen/events.o drivers/xen/events.c: In function 'xen_send_IPI_one': drivers/xen/events.c:1218:6: error: 'XEN_NMI_VECTOR' undeclared (first use in this function) Simply ifdef the undeclared symbol in the code. Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Diffstat (limited to 'drivers/xen/events.c')
-rw-r--r--drivers/xen/events.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/drivers/xen/events.c b/drivers/xen/events.c
index 0b14a9bbbb0a..090a3b71338d 100644
--- a/drivers/xen/events.c
+++ b/drivers/xen/events.c
@@ -1215,12 +1215,14 @@ void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector)
1215{ 1215{
1216 int irq; 1216 int irq;
1217 1217
1218#ifdef CONFIG_X86
1218 if (unlikely(vector == XEN_NMI_VECTOR)) { 1219 if (unlikely(vector == XEN_NMI_VECTOR)) {
1219 int rc = HYPERVISOR_vcpu_op(VCPUOP_send_nmi, cpu, NULL); 1220 int rc = HYPERVISOR_vcpu_op(VCPUOP_send_nmi, cpu, NULL);
1220 if (rc < 0) 1221 if (rc < 0)
1221 printk(KERN_WARNING "Sending nmi to CPU%d failed (rc:%d)\n", cpu, rc); 1222 printk(KERN_WARNING "Sending nmi to CPU%d failed (rc:%d)\n", cpu, rc);
1222 return; 1223 return;
1223 } 1224 }
1225#endif
1224 irq = per_cpu(ipi_to_irq, cpu)[vector]; 1226 irq = per_cpu(ipi_to_irq, cpu)[vector];
1225 BUG_ON(irq < 0); 1227 BUG_ON(irq < 0);
1226 notify_remote_via_irq(irq); 1228 notify_remote_via_irq(irq);