[src/trunk]: src/sys/arch/sh3/sh3 Tweak KDASSERT to avoid double negation.

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

details:   https://anonhg.NetBSD.org/src/rev/58d1a4da957b
branches:  trunk
changeset: 555374:58d1a4da957b
user:      uwe <uwe%NetBSD.org@localhost>
date:      Sat Nov 15 23:47:58 2003 +0000

description:
Tweak KDASSERT to avoid double negation.

diffstat:

 sys/arch/sh3/sh3/vm_machdep.c |  6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diffs (27 lines):

diff -r b4b7a309e8db -r 58d1a4da957b sys/arch/sh3/sh3/vm_machdep.c
--- a/sys/arch/sh3/sh3/vm_machdep.c     Sat Nov 15 23:46:04 2003 +0000
+++ b/sys/arch/sh3/sh3/vm_machdep.c     Sat Nov 15 23:47:58 2003 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: vm_machdep.c,v 1.38 2003/08/07 16:29:30 agc Exp $      */
+/*     $NetBSD: vm_machdep.c,v 1.39 2003/11/15 23:47:58 uwe Exp $      */
 
 /*-
  * Copyright (c) 1982, 1986 The Regents of the University of California.
@@ -81,7 +81,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: vm_machdep.c,v 1.38 2003/08/07 16:29:30 agc Exp $");
+__KERNEL_RCSID(0, "$NetBSD: vm_machdep.c,v 1.39 2003/11/15 23:47:58 uwe Exp $");
 
 #include "opt_kstack_debug.h"
 
@@ -134,7 +134,7 @@
        vaddr_t spbase, fptop;
 #define        P1ADDR(x)       (SH3_PHYS_TO_P1SEG(*__pmap_kpte_lookup(x) & PG_PPN))
 
-       KDASSERT(!(l1 != curlwp && l1 != &lwp0));
+       KDASSERT(l1 == curlwp || l1 == &lwp0);
 
        /* Copy flags */
        l2->l_md.md_flags = l1->l_md.md_flags;