[src/cherry-xenmp]: src/sys/arch/xen/xen Send an ipi at IPL_HIGH to remote cp...

[cherry <cherry%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/8458a51aeb7d
branches:  cherry-xenmp
changeset: 765623:8458a51aeb7d
user:      cherry <cherry%NetBSD.org@localhost>
date:      Thu Aug 04 13:04:20 2011 +0000

description:
Send an ipi at IPL_HIGH to remote cpu, in order to get it to run spllower()

diffstat:

 sys/arch/xen/xen/evtchn.c |  15 ++++++++++++---
 1 files changed, 12 insertions(+), 3 deletions(-)

diffs (36 lines):

diff -r 1e215a9952e9 -r 8458a51aeb7d sys/arch/xen/xen/evtchn.c
--- a/sys/arch/xen/xen/evtchn.c Thu Aug 04 09:07:46 2011 +0000
+++ b/sys/arch/xen/xen/evtchn.c Thu Aug 04 13:04:20 2011 +0000
@@ -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;