Module Name:    src
Committed By:   skrll
Date:           Wed Feb 12 17:34:18 UTC 2020

Modified Files:
        src/sys/arch/arm/arm32: pmap.c

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


To generate a diff of this commit:
cvs rdiff -u -r1.390 -r1.391 src/sys/arch/arm/arm32/pmap.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/pmap.c
diff -u src/sys/arch/arm/arm32/pmap.c:1.390 src/sys/arch/arm/arm32/pmap.c:1.391
--- src/sys/arch/arm/arm32/pmap.c:1.390	Wed Feb 12 17:31:51 2020
+++ src/sys/arch/arm/arm32/pmap.c	Wed Feb 12 17:34:18 2020
@@ -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 @@ pmap_grow_l2_bucket(pmap_t pm, vaddr_t v
 	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

Reply via email to