Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 19 Sep 2018 15:39:16 +0000 (UTC)
From:      Konstantin Belousov <kib@FreeBSD.org>
To:        src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org
Subject:   svn commit: r338801 - head/sys/amd64/amd64
Message-ID:  <201809191539.w8JFdGft031194@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: kib
Date: Wed Sep 19 15:39:16 2018
New Revision: 338801
URL: https://svnweb.freebsd.org/changeset/base/338801

Log:
  amd64 pmap: remove tautological assert.
  
  pm_pcid is unsigned.
  
  Reviewed by:	cem, markj
  CID:	1395727
  Noted by:	cem
  Sponsored by:	The FreeBSD Foundation
  Approved by:	re (gjb)
  MFC after:	3 days
  Differential revision:	https://reviews.freebsd.org/D17235

Modified:
  head/sys/amd64/amd64/pmap.c

Modified: head/sys/amd64/amd64/pmap.c
==============================================================================
--- head/sys/amd64/amd64/pmap.c	Wed Sep 19 14:56:53 2018	(r338800)
+++ head/sys/amd64/amd64/pmap.c	Wed Sep 19 15:39:16 2018	(r338801)
@@ -7442,8 +7442,7 @@ pmap_pcid_alloc_checked(pmap_t pmap, u_int cpuid)
 	uint64_t cached;
 
 	cached = pmap_pcid_alloc(pmap, cpuid);
-	KASSERT(pmap->pm_pcids[cpuid].pm_pcid >= 0 &&
-	    pmap->pm_pcids[cpuid].pm_pcid < PMAP_PCID_OVERMAX,
+	KASSERT(pmap->pm_pcids[cpuid].pm_pcid < PMAP_PCID_OVERMAX,
 	    ("pmap %p cpu %d pcid %#x", pmap, cpuid,
 	    pmap->pm_pcids[cpuid].pm_pcid));
 	KASSERT(pmap->pm_pcids[cpuid].pm_pcid != PMAP_PCID_KERN ||



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201809191539.w8JFdGft031194>