[src/trunk]: src/sys/arch/arm/arm32 Add a CTASSERT to pmap_grow_l2_bucket tha...

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

details:   https://anonhg.NetBSD.org/src/rev/56ea0f465e20
branches:  trunk
changeset: 744772:56ea0f465e20
user:      skrll <skrll%NetBSD.org@localhost>
date:      Wed Feb 12 17:34:18 2020 +0000

description:
Add a CTASSERT to pmap_grow_l2_bucket that PAGE_SIZE is a multiple of
L2_TABLE_SIZE_REAL.

diffstat:

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

diffs (26 lines):

diff -r ae6e1efc3c52 -r 56ea0f465e20 sys/arch/arm/arm32/pmap.c
--- a/sys/arch/arm/arm32/pmap.c Wed Feb 12 17:31:51 2020 +0000
+++ b/sys/arch/arm/arm32/pmap.c Wed Feb 12 17:34:18 2020 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmap.c,v 1.390 2020/02/12 17:31:51 skrll Exp $ */
+/*     $NetBSD: pmap.c,v 1.391 2020/02/12 17:34:18 skrll Exp $ */
 
 /*
  * Copyright 2003 Wasabi Systems, Inc.
@@ -198,7 +198,7 @@
 #endif
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.390 2020/02/12 17:31:51 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.391 2020/02/12 17:34:18 skrll Exp $");
 
 #include <sys/param.h>
 #include <sys/types.h>
@@ -5865,6 +5865,7 @@
        struct l2_dtable *l2;
        vaddr_t nva;
 
+       CTASSERT((PAGE_SIZE % L2_TABLE_SIZE_REAL) == 0);
        if ((l2 = pm->pm_l2[L2_IDX(l1slot)]) == NULL) {
                /*
                 * No mapping at this address, as there is