[src/trunk]: src/sys/arch/arm/arm32 Add printfs around initializing the vecto...

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

details:   https://anonhg.NetBSD.org/src/rev/13a84853ca09
branches:  trunk
changeset: 787353:13a84853ca09
user:      matt <matt%NetBSD.org@localhost>
date:      Wed Jun 12 07:14:26 2013 +0000

description:
Add printfs around initializing the vector_page.

diffstat:

 sys/arch/arm/arm32/arm32_boot.c |  10 ++++++++--
 1 files changed, 8 insertions(+), 2 deletions(-)

diffs (32 lines):

diff -r 1ce83d89d1fe -r 13a84853ca09 sys/arch/arm/arm32/arm32_boot.c
--- a/sys/arch/arm/arm32/arm32_boot.c   Wed Jun 12 07:13:18 2013 +0000
+++ b/sys/arch/arm/arm32/arm32_boot.c   Wed Jun 12 07:14:26 2013 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: arm32_boot.c,v 1.3 2013/05/11 10:15:10 skrll Exp $     */
+/*     $NetBSD: arm32_boot.c,v 1.4 2013/06/12 07:14:26 matt Exp $      */
 
 /*
  * Copyright (c) 2002, 2003, 2005  Genetec Corporation.  All rights reserved.
@@ -123,7 +123,7 @@
 
 #include <sys/cdefs.h>
 
-__KERNEL_RCSID(1, "$NetBSD: arm32_boot.c,v 1.3 2013/05/11 10:15:10 skrll Exp $");
+__KERNEL_RCSID(1, "$NetBSD: arm32_boot.c,v 1.4 2013/06/12 07:14:26 matt Exp $");
 
 #include "opt_ddb.h"
 #include "opt_kgdb.h"
@@ -169,7 +169,13 @@
        printf("bootstrap done.\n");
 #endif
 
+#ifdef VERBOSE_INIT_ARM
+       printf("vectors");
+#endif
        arm32_vector_init(systempage.pv_va, ARM_VEC_ALL);
+#ifdef VERBOSE_INIT_ARM
+       printf(" %#"PRIxVADDR"\n", vector_page);
+#endif
 
        /*
         * Pages were allocated during the secondary bootstrap for the