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