[src/trunk]: src/sys/arch/aarch64/aarch64 Add a KASSERT

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

details:   https://anonhg.NetBSD.org/src/rev/79acb31cefa1
branches:  trunk
changeset: 373732:79acb31cefa1
user:      skrll <skrll%NetBSD.org@localhost>
date:      Sat Feb 25 08:00:35 2023 +0000

description:
Add a KASSERT

diffstat:

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

diffs (26 lines):

diff -r d41c4232cb73 -r 79acb31cefa1 sys/arch/aarch64/aarch64/vm_machdep.c
--- a/sys/arch/aarch64/aarch64/vm_machdep.c     Sat Feb 25 06:54:08 2023 +0000
+++ b/sys/arch/aarch64/aarch64/vm_machdep.c     Sat Feb 25 08:00:35 2023 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: vm_machdep.c,v 1.13 2022/05/29 16:13:41 ryo Exp $ */
+/* $NetBSD: vm_machdep.c,v 1.14 2023/02/25 08:00:35 skrll Exp $ */
 
 /*-
  * Copyright (c) 2014 The NetBSD Foundation, Inc.
@@ -33,7 +33,7 @@
 #include "opt_ddb.h"
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: vm_machdep.c,v 1.13 2022/05/29 16:13:41 ryo Exp $");
+__KERNEL_RCSID(0, "$NetBSD: vm_machdep.c,v 1.14 2023/02/25 08:00:35 skrll Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -97,6 +97,7 @@
         * FP state is valid.
         */
        l2->l_md.md_cpacr = CPACR_FPEN_NONE;
+       KASSERT(l2->l_md.md_astpending == 0);
 
 #ifdef ARMV83_PAC
        /*