Module Name: src
Committed By: matt
Date: Wed Sep 5 00:20:57 UTC 2012
Modified Files:
src/sys/arch/arm/arm32: arm32_kvminit.c
Log Message:
Print TTBR/TTBR1/TTBCR registers
To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 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.1 src/sys/arch/arm/arm32/arm32_kvminit.c:1.2
--- src/sys/arch/arm/arm32/arm32_kvminit.c:1.1 Fri Aug 31 23:59:51 2012
+++ src/sys/arch/arm/arm32/arm32_kvminit.c Wed Sep 5 00:20:57 2012
@@ -1,4 +1,4 @@
-/* $NetBSD: arm32_kvminit.c,v 1.1 2012/08/31 23:59:51 matt Exp $ */
+/* $NetBSD: arm32_kvminit.c,v 1.2 2012/09/05 00:20:57 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.1 2012/08/31 23:59:51 matt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: arm32_kvminit.c,v 1.2 2012/09/05 00:20:57 matt Exp $");
#include <sys/param.h>
#include <sys/device.h>
@@ -850,6 +850,15 @@ arm32_kernel_vm_init(vaddr_t kernel_vm_b
* tables.
*/
+#if defined(VERBOSE_INIT_ARM) && 0
+ printf("TTBR0=%#x", armreg_ttbr_read());
+#ifdef _ARM_ARCH_6
+ printf(" TTBR1=%#x TTBCR=%#x",
+ armreg_ttbr1_read(), armreg_ttbcr_read());
+#endif
+ printf("\n");
+#endif
+
/* Switch tables */
#ifdef VERBOSE_INIT_ARM
printf("switching to new L1 page table @%#lx...", l1pt_pa);
