CVS commit: src/sys/arch/arm/arm32

["Matt Thomas" <matt%netbsd.org@localhost>]

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.