CVS commit: src/sys/arch

[Cherry G. Mathew]

Module Name:    src
Committed By:   cherry
Date:           Thu Aug 11 18:05:11 UTC 2011

Modified Files:
        src/sys/arch/amd64/amd64: fpu.c
        src/sys/arch/i386/isa: npx.c

Log Message:
More appropriate use of xen_send_ipi().


To generate a diff of this commit:
cvs rdiff -u -r1.36 -r1.37 src/sys/arch/amd64/amd64/fpu.c
cvs rdiff -u -r1.141 -r1.142 src/sys/arch/i386/isa/npx.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/amd64/amd64/fpu.c
diff -u src/sys/arch/amd64/amd64/fpu.c:1.36 src/sys/arch/amd64/amd64/fpu.c:1.37
--- src/sys/arch/amd64/amd64/fpu.c:1.36	Wed Aug 10 11:39:44 2011
+++ src/sys/arch/amd64/amd64/fpu.c	Thu Aug 11 18:05:11 2011
@@ -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

Index: src/sys/arch/i386/isa/npx.c
diff -u src/sys/arch/i386/isa/npx.c:1.141 src/sys/arch/i386/isa/npx.c:1.142
--- src/sys/arch/i386/isa/npx.c:1.141	Wed Aug 10 11:39:45 2011
+++ src/sys/arch/i386/isa/npx.c	Thu Aug 11 18:05:11 2011
@@ -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