[src/trunk]: src/sys/arch/arm/arm32 Print TTBR/TTBR1/TTBCR registers

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

details:   https://anonhg.NetBSD.org/src/rev/078bf2f4993e
branches:  trunk
changeset: 781414:078bf2f4993e
user:      matt <matt%NetBSD.org@localhost>
date:      Wed Sep 05 00:20:57 2012 +0000

description:
Print TTBR/TTBR1/TTBCR registers

diffstat:

 sys/arch/arm/arm32/arm32_kvminit.c |  13 +++++++++++--
 1 files changed, 11 insertions(+), 2 deletions(-)

diffs (34 lines):

diff -r f546e25b474a -r 078bf2f4993e sys/arch/arm/arm32/arm32_kvminit.c
--- a/sys/arch/arm/arm32/arm32_kvminit.c        Wed Sep 05 00:19:59 2012 +0000
+++ b/sys/arch/arm/arm32/arm32_kvminit.c        Wed Sep 05 00:20:57 2012 +0000
@@ -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 @@
         * 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);