CVS commit: src/sys/arch/aarch64/aarch64

[Nick Hudson]

Module Name:    src
Committed By:   skrll
Date:           Mon Oct  4 09:39:18 UTC 2021

Modified Files:
        src/sys/arch/aarch64/aarch64: cpu.c

Log Message:
Add a KASSERT


To generate a diff of this commit:
cvs rdiff -u -r1.61 -r1.62 src/sys/arch/aarch64/aarch64/cpu.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/aarch64/aarch64/cpu.c
diff -u src/sys/arch/aarch64/aarch64/cpu.c:1.61 src/sys/arch/aarch64/aarch64/cpu.c:1.62
--- src/sys/arch/aarch64/aarch64/cpu.c:1.61	Mon Aug 30 22:57:33 2021
+++ src/sys/arch/aarch64/aarch64/cpu.c	Mon Oct  4 09:39:18 2021
@@ -1,4 +1,4 @@
-/* $NetBSD: cpu.c,v 1.61 2021/08/30 22:57:33 jmcneill Exp $ */
+/* $NetBSD: cpu.c,v 1.62 2021/10/04 09:39:18 skrll Exp $ */
 
 /*
  * Copyright (c) 2017 Ryo Shimizu <r...@nerv.org>
@@ -27,7 +27,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(1, "$NetBSD: cpu.c,v 1.61 2021/08/30 22:57:33 jmcneill Exp $");
+__KERNEL_RCSID(1, "$NetBSD: cpu.c,v 1.62 2021/10/04 09:39:18 skrll Exp $");
 
 #include "locators.h"
 #include "opt_arm_debug.h"
@@ -681,6 +681,7 @@ void
 cpu_hatch(struct cpu_info *ci)
 {
 	KASSERT(curcpu() == ci);
+	KASSERT((reg_tcr_el1_read() & TCR_EPD0) != 0);
 
 	mutex_enter(&cpu_hatch_lock);