[src/trunk]: src/sys/arch/evbarm/awin print when fixing up cbar value

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

details:   https://anonhg.NetBSD.org/src/rev/81bb9ab9cc50
branches:  trunk
changeset: 334743:81bb9ab9cc50
user:      jmcneill <jmcneill%NetBSD.org@localhost>
date:      Fri Dec 05 01:20:48 2014 +0000

description:
print when fixing up cbar value

diffstat:

 sys/arch/evbarm/awin/awin_machdep.c |  7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)

diffs (33 lines):

diff -r 7cacd80bbb3a -r 81bb9ab9cc50 sys/arch/evbarm/awin/awin_machdep.c
--- a/sys/arch/evbarm/awin/awin_machdep.c       Fri Dec 05 01:13:11 2014 +0000
+++ b/sys/arch/evbarm/awin/awin_machdep.c       Fri Dec 05 01:20:48 2014 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: awin_machdep.c,v 1.30 2014/12/05 01:13:11 jmcneill Exp $ */
+/*     $NetBSD: awin_machdep.c,v 1.31 2014/12/05 01:20:48 jmcneill Exp $ */
 
 /*
  * Machine dependent functions for kernel setup for TI OSK5912 board.
@@ -125,7 +125,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: awin_machdep.c,v 1.30 2014/12/05 01:13:11 jmcneill Exp $");
+__KERNEL_RCSID(0, "$NetBSD: awin_machdep.c,v 1.31 2014/12/05 01:20:48 jmcneill Exp $");
 
 #include "opt_machdep.h"
 #include "opt_ddb.h"
@@ -582,12 +582,13 @@
 #if defined(ALLWINNER_A80)
                /* XXX Cubie4 SDK u-boot wrongly sets cbar to 0x01c80000 */
                if (armreg_cbar_read() != AWIN_A80_GIC_BASE) {
+                       aprint_normal("fixup: cbar %#x -> %#x\n",
+                           armreg_cbar_read(), AWIN_A80_GIC_BASE);
                        prop_dictionary_set_uint32(dict, "cbar",
                            AWIN_A80_GIC_BASE);
                }
 #endif
 
-
                /*
                 * XXX KLUDGE ALERT XXX
                 * The iot mainbus supplies is completely wrong since it scales