From owner-p4-projects  Tue Oct 29 12:19:52 2002
Delivered-To: p4-projects@freebsd.org
Received: by hub.freebsd.org (Postfix, from userid 32767)
	id 8001D37B404; Tue, 29 Oct 2002 12:19:50 -0800 (PST)
Delivered-To: perforce@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 3210937B401
	for <perforce@freebsd.org>; Tue, 29 Oct 2002 12:19:50 -0800 (PST)
Received: from repoman.freebsd.org (repoman.freebsd.org [216.136.204.115])
	by mx1.FreeBSD.org (Postfix) with ESMTP id CE7E143E88
	for <perforce@freebsd.org>; Tue, 29 Oct 2002 12:19:49 -0800 (PST)
	(envelope-from jhb@freebsd.org)
Received: from repoman.freebsd.org (localhost [127.0.0.1])
	by repoman.freebsd.org (8.12.6/8.12.6) with ESMTP id g9TKIcmV050774
	for <perforce@freebsd.org>; Tue, 29 Oct 2002 12:18:38 -0800 (PST)
	(envelope-from jhb@freebsd.org)
Received: (from perforce@localhost)
	by repoman.freebsd.org (8.12.6/8.12.6/Submit) id g9TKIcK5050771
	for perforce@freebsd.org; Tue, 29 Oct 2002 12:18:38 -0800 (PST)
Date: Tue, 29 Oct 2002 12:18:38 -0800 (PST)
Message-Id: <200210292018.g9TKIcK5050771@repoman.freebsd.org>
X-Authentication-Warning: repoman.freebsd.org: perforce set sender to jhb@freebsd.org using -f
From: John Baldwin <jhb@FreeBSD.org>
Subject: PERFORCE change 20367 for review
To: Perforce Change Reviews <perforce@freebsd.org>
Sender: owner-p4-projects@FreeBSD.ORG
Precedence: bulk
List-ID: <p4-projects.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20p4-projects>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20p4-projects>
X-Loop: FreeBSD.ORG

http://perforce.freebsd.org/chv.cgi?CH=20367

Change 20367 by jhb@jhb_laptop on 2002/10/29 12:18:15

	Make a debug check an invariant.  I really think we may need a
	global spin lock to protect access to ptes.

Affected files ...

.. //depot/projects/smpng/sys/alpha/alpha/pmap.c#37 edit

Differences ...

==== //depot/projects/smpng/sys/alpha/alpha/pmap.c#37 (text+ko) ====

@@ -2963,7 +2963,7 @@
 		pte = pmap_lev3pte(vm->vm_map.pmap, v);
 		user_addr = 1;
 	}
-#ifdef DEBUG				/* These checks are more expensive */
+#ifdef INVARIANTS			/* These checks are more expensive */
 	if (!pmap_pte_v(pte))
 		panic("pmap_emulate_reference: invalid pte");
 #if 0

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe p4-projects" in the body of the message