[src/trunk]: src/sys/arch/xen/x86 Fix what looks like a typo in xen_send_ipi():

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

details:   https://anonhg.NetBSD.org/src/rev/fec6cbed55b6
branches:  trunk
changeset: 324854:fec6cbed55b6
user:      bouyer <bouyer%NetBSD.org@localhost>
date:      Tue Jul 24 12:26:14 2018 +0000

description:
Fix what looks like a typo in xen_send_ipi():
ci != NULL || ci != curcpu()
is always true

diffstat:

 sys/arch/xen/x86/xen_ipi.c |  8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

diffs (31 lines):

diff -r a246feae7223 -r fec6cbed55b6 sys/arch/xen/x86/xen_ipi.c
--- a/sys/arch/xen/x86/xen_ipi.c        Tue Jul 24 12:24:45 2018 +0000
+++ b/sys/arch/xen/x86/xen_ipi.c        Tue Jul 24 12:26:14 2018 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: xen_ipi.c,v 1.25 2018/06/24 13:35:32 jdolecek Exp $ */
+/* $NetBSD: xen_ipi.c,v 1.26 2018/07/24 12:26:14 bouyer Exp $ */
 
 /*-
  * Copyright (c) 2011 The NetBSD Foundation, Inc.
@@ -33,10 +33,10 @@
 
 /* 
  * Based on: x86/ipi.c
- * __KERNEL_RCSID(0, "$NetBSD: xen_ipi.c,v 1.25 2018/06/24 13:35:32 jdolecek Exp $");
+ * __KERNEL_RCSID(0, "$NetBSD: xen_ipi.c,v 1.26 2018/07/24 12:26:14 bouyer Exp $");
  */
 
-__KERNEL_RCSID(0, "$NetBSD: xen_ipi.c,v 1.25 2018/06/24 13:35:32 jdolecek Exp $");
+__KERNEL_RCSID(0, "$NetBSD: xen_ipi.c,v 1.26 2018/07/24 12:26:14 bouyer Exp $");
 
 #include "opt_ddb.h"
 
@@ -168,7 +168,7 @@
 {
        evtchn_port_t evtchn;
 
-       KASSERT(ci != NULL || ci != curcpu());
+       KASSERT(ci != NULL && ci != curcpu());
 
        if ((ci->ci_flags & CPUF_RUNNING) == 0) {
                return ENOENT;