[src/trunk]: src/sys/arch/arm/arm32 if __HAVE_MM_MD_DIRECT_MAPPED_PHYS is def...

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

details:   https://anonhg.NetBSD.org/src/rev/2c3c892280b9
branches:  trunk
changeset: 783191:2c3c892280b9
user:      matt <matt%NetBSD.org@localhost>
date:      Mon Dec 10 06:51:49 2012 +0000

description:
if __HAVE_MM_MD_DIRECT_MAPPED_PHYS is defined, make sure mapallmem_p is true.

diffstat:

 sys/arch/arm/arm32/arm32_kvminit.c |  8 ++++++--
 1 files changed, 6 insertions(+), 2 deletions(-)

diffs (29 lines):

diff -r 879309f4d3e7 -r 2c3c892280b9 sys/arch/arm/arm32/arm32_kvminit.c
--- a/sys/arch/arm/arm32/arm32_kvminit.c        Mon Dec 10 06:51:05 2012 +0000
+++ b/sys/arch/arm/arm32/arm32_kvminit.c        Mon Dec 10 06:51:49 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: arm32_kvminit.c,v 1.14 2012/10/24 21:31:06 skrll Exp $ */
+/*     $NetBSD: arm32_kvminit.c,v 1.15 2012/12/10 06:51:49 matt Exp $  */
 
 /*
  * Copyright (c) 2002, 2003, 2005  Genetec Corporation.  All rights reserved.
@@ -122,7 +122,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: arm32_kvminit.c,v 1.14 2012/10/24 21:31:06 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: arm32_kvminit.c,v 1.15 2012/12/10 06:51:49 matt Exp $");
 
 #include <sys/param.h>
 #include <sys/device.h>
@@ -372,6 +372,10 @@
        const size_t cpu_num = 1;
 #endif
 
+#ifdef __HAVE_MM_MD_DIRECT_MAPPED_PHYS
+       KASSERT(mapallmem_p);
+#endif
+
        /*
         * Calculate the number of L2 pages needed for mapping the
         * kernel + data + stuff.  Assume 2 L2 pages for kernel, 1 for vectors,