Module Name: src
Committed By: matt
Date: Mon Dec 10 06:51:50 UTC 2012
Modified Files:
src/sys/arch/arm/arm32: arm32_kvminit.c
Log Message:
if __HAVE_MM_MD_DIRECT_MAPPED_PHYS is defined, make sure mapallmem_p is true.
To generate a diff of this commit:
cvs rdiff -u -r1.14 -r1.15 src/sys/arch/arm/arm32/arm32_kvminit.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/arch/arm/arm32/arm32_kvminit.c
diff -u src/sys/arch/arm/arm32/arm32_kvminit.c:1.14 src/sys/arch/arm/arm32/arm32_kvminit.c:1.15
--- src/sys/arch/arm/arm32/arm32_kvminit.c:1.14 Wed Oct 24 21:31:06 2012
+++ src/sys/arch/arm/arm32/arm32_kvminit.c Mon Dec 10 06:51:49 2012
@@ -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 @@ arm32_kernel_vm_init(vaddr_t kernel_vm_b
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,
