Module Name: src
Committed By: cherry
Date: Thu Aug 4 13:04:20 UTC 2011
Modified Files:
src/sys/arch/xen/xen [cherry-xenmp]: evtchn.c
Log Message:
Send an ipi at IPL_HIGH to remote cpu, in order to get it to run spllower()
To generate a diff of this commit:
cvs rdiff -u -r1.47.6.2 -r1.47.6.3 src/sys/arch/xen/xen/evtchn.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/arch/xen/xen/evtchn.c
diff -u src/sys/arch/xen/xen/evtchn.c:1.47.6.2 src/sys/arch/xen/xen/evtchn.c:1.47.6.3
--- src/sys/arch/xen/xen/evtchn.c:1.47.6.2 Thu Aug 4 09:07:47 2011
+++ src/sys/arch/xen/xen/evtchn.c Thu Aug 4 13:04:20 2011
@@ -1,4 +1,4 @@
-/* $NetBSD: evtchn.c,v 1.47.6.2 2011/08/04 09:07:47 cherry Exp $ */
+/* $NetBSD: evtchn.c,v 1.47.6.3 2011/08/04 13:04:20 cherry Exp $ */
/*
* Copyright (c) 2006 Manuel Bouyer.
@@ -54,7 +54,7 @@
#include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: evtchn.c,v 1.47.6.2 2011/08/04 09:07:47 cherry Exp $");
+__KERNEL_RCSID(0, "$NetBSD: evtchn.c,v 1.47.6.3 2011/08/04 13:04:20 cherry Exp $");
#include "opt_xen.h"
#include "isa.h"
@@ -245,7 +245,16 @@
evtsource[evtch]->ev_imask,
evtch >> LONG_SHIFT,
evtch & LONG_MASK);
- /* leave masked */
+
+ if (evtsource[evtch]->ev_cpu != ci) {
+ /* facilitate spllower() on remote cpu */
+ struct cpu_info *rci = evtsource[evtch]->ev_cpu;
+ if (xen_send_ipi(rci, XEN_IPI_KICK)) {
+ panic("xen_send_ipi(%s, XEN_IPI_KICK) failed\n", cpu_name(rci));
+ }
+ }
+
+ /* leave masked */
return 0;
}
ci->ci_ilevel = evtsource[evtch]->ev_maxlevel;
