[src/trunk]: src/sys/arch/usermode/usermode As ppn is a uintptr_t, it can nev...

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

details:   https://anonhg.NetBSD.org/src/rev/a17dac9fc26b
branches:  trunk
changeset: 772590:a17dac9fc26b
user:      reinoud <reinoud%NetBSD.org@localhost>
date:      Mon Jan 09 14:58:15 2012 +0000

description:
As ppn is a uintptr_t, it can never be negative so the check is invalid.

diffstat:

 sys/arch/usermode/usermode/pmap.c |  5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)

diffs (26 lines):

diff -r 409fff264de8 -r a17dac9fc26b sys/arch/usermode/usermode/pmap.c
--- a/sys/arch/usermode/usermode/pmap.c Mon Jan 09 14:56:35 2012 +0000
+++ b/sys/arch/usermode/usermode/pmap.c Mon Jan 09 14:58:15 2012 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: pmap.c,v 1.98 2012/01/07 19:44:13 reinoud Exp $ */
+/* $NetBSD: pmap.c,v 1.99 2012/01/09 14:58:15 reinoud Exp $ */
 
 /*-
  * Copyright (c) 2011 Reinoud Zandijk <reinoud%NetBSD.org@localhost>
@@ -27,7 +27,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.98 2012/01/07 19:44:13 reinoud Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.99 2012/01/09 14:58:15 reinoud Exp $");
 
 #include "opt_memsize.h"
 #include "opt_kmempages.h"
@@ -581,7 +581,6 @@
 
        /* extra sanity */
        assert(ppn < phys_npages);
-       assert(ppn >= 0);
 
        pv = pv_alloc();
        if (pv == NULL)