[src/trunk]: src/sys/arch More appropriate use of xen_send_ipi().

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

details:   https://anonhg.NetBSD.org/src/rev/6dc54bdd32c9
branches:  trunk
changeset: 768200:6dc54bdd32c9
user:      cherry <cherry%NetBSD.org@localhost>
date:      Thu Aug 11 18:05:11 2011 +0000

description:
More appropriate use of xen_send_ipi().

diffstat:

 sys/arch/amd64/amd64/fpu.c |  9 ++++++---
 sys/arch/i386/isa/npx.c    |  9 ++++++---
 2 files changed, 12 insertions(+), 6 deletions(-)

diffs (60 lines):

diff -r fe6800ea3670 -r 6dc54bdd32c9 sys/arch/amd64/amd64/fpu.c
--- a/sys/arch/amd64/amd64/fpu.c        Thu Aug 11 17:58:59 2011 +0000
+++ b/sys/arch/amd64/amd64/fpu.c        Thu Aug 11 18:05:11 2011 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: fpu.c,v 1.36 2011/08/10 11:39:44 cherry Exp $  */
+/*     $NetBSD: fpu.c,v 1.37 2011/08/11 18:05:11 cherry Exp $  */
 
 /*-
  * Copyright (c) 2008 The NetBSD Foundation, Inc.  All
@@ -100,7 +100,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: fpu.c,v 1.36 2011/08/10 11:39:44 cherry Exp $");
+__KERNEL_RCSID(0, "$NetBSD: fpu.c,v 1.37 2011/08/11 18:05:11 cherry Exp $");
 
 #include "opt_multiprocessor.h"
 
@@ -407,7 +407,10 @@
                }
                splx(s);
 #ifdef XEN
-               xen_send_ipi(oci, XEN_IPI_SYNCH_FPU);
+               if (xen_send_ipi(oci, XEN_IPI_SYNCH_FPU) != 0) {
+                       panic("xen_send_ipi(%s, XEN_IPI_SYNCH_FPU) failed.",
+                           cpu_name(oci));
+               }
 #else /* XEN */
                x86_send_ipi(oci, X86_IPI_SYNCH_FPU);
 #endif
diff -r fe6800ea3670 -r 6dc54bdd32c9 sys/arch/i386/isa/npx.c
--- a/sys/arch/i386/isa/npx.c   Thu Aug 11 17:58:59 2011 +0000
+++ b/sys/arch/i386/isa/npx.c   Thu Aug 11 18:05:11 2011 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: npx.c,v 1.141 2011/08/10 11:39:45 cherry Exp $ */
+/*     $NetBSD: npx.c,v 1.142 2011/08/11 18:05:11 cherry Exp $ */
 
 /*-
  * Copyright (c) 2008 The NetBSD Foundation, Inc.
@@ -96,7 +96,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: npx.c,v 1.141 2011/08/10 11:39:45 cherry Exp $");
+__KERNEL_RCSID(0, "$NetBSD: npx.c,v 1.142 2011/08/11 18:05:11 cherry Exp $");
 
 #if 0
 #define IPRINTF(x)     printf x
@@ -720,7 +720,10 @@
                }
                splx(s);
 #ifdef XEN
-               xen_send_ipi(oci, XEN_IPI_SYNCH_FPU);
+               if (xen_send_ipi(oci, XEN_IPI_SYNCH_FPU) != 0) {
+                       panic("xen_send_ipi(%s, XEN_IPI_SYNCH_FPU) failed.",
+                           cpu_name(oci));
+               }
 #else /* XEN */
                x86_send_ipi(oci, X86_IPI_SYNCH_FPU);
 #endif