[src/trunk]: src/sys/arch/evbarm fix compile error (printf format)

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

details:   https://anonhg.NetBSD.org/src/rev/ebeb7dfd6731
branches:  trunk
changeset: 321356:ebeb7dfd6731
user:      ryo <ryo%NetBSD.org@localhost>
date:      Tue Mar 13 06:18:17 2018 +0000

description:
fix compile error (printf format)

diffstat:

 sys/arch/evbarm/imx31/imx31lk_machdep.c   |  6 +++---
 sys/arch/evbarm/ixdp425/ixdp425_machdep.c |  6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diffs (54 lines):

diff -r 349fa41c4981 -r ebeb7dfd6731 sys/arch/evbarm/imx31/imx31lk_machdep.c
--- a/sys/arch/evbarm/imx31/imx31lk_machdep.c   Tue Mar 13 03:50:26 2018 +0000
+++ b/sys/arch/evbarm/imx31/imx31lk_machdep.c   Tue Mar 13 06:18:17 2018 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: imx31lk_machdep.c,v 1.19 2016/12/22 14:47:55 cherry Exp $ */
+/* $NetBSD: imx31lk_machdep.c,v 1.20 2018/03/13 06:18:17 ryo Exp $ */
 
 /*
  * Startup routines for the ZOOM iMX31 LITEKIT.
@@ -110,7 +110,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: imx31lk_machdep.c,v 1.19 2016/12/22 14:47:55 cherry Exp $");
+__KERNEL_RCSID(0, "$NetBSD: imx31lk_machdep.c,v 1.20 2018/03/13 06:18:17 ryo Exp $");
 
 #include "opt_ddb.h"
 #include "opt_kgdb.h"
@@ -417,7 +417,7 @@
 
 #ifdef VERBOSE_INIT_ARM
        /* Tell the user about the memory */
-       printf("physmemory: %d pages at 0x%08lx -> 0x%08lx\n", physmem,
+       printf("physmemory: %"PRIuPSIZE" pages at 0x%08lx -> 0x%08lx\n", physmem,
            physical_start, physical_end - 1);
 #endif
 
diff -r 349fa41c4981 -r ebeb7dfd6731 sys/arch/evbarm/ixdp425/ixdp425_machdep.c
--- a/sys/arch/evbarm/ixdp425/ixdp425_machdep.c Tue Mar 13 03:50:26 2018 +0000
+++ b/sys/arch/evbarm/ixdp425/ixdp425_machdep.c Tue Mar 13 06:18:17 2018 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: ixdp425_machdep.c,v 1.37 2016/12/22 14:47:55 cherry Exp $ */
+/*     $NetBSD: ixdp425_machdep.c,v 1.38 2018/03/13 06:18:36 ryo Exp $ */
 /*
  * Copyright (c) 2003
  *     Ichiro FUKUHARA <ichiro%ichiro.org@localhost>.
@@ -64,7 +64,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: ixdp425_machdep.c,v 1.37 2016/12/22 14:47:55 cherry Exp $");
+__KERNEL_RCSID(0, "$NetBSD: ixdp425_machdep.c,v 1.38 2018/03/13 06:18:36 ryo Exp $");
 
 #include "opt_ddb.h"
 #include "opt_kgdb.h"
@@ -435,7 +435,7 @@
 
        /* Tell the user about the memory */
 #ifdef VERBOSE_INIT_ARM
-       printf("physmemory: %d pages at 0x%08lx -> 0x%08lx\n", physmem,
+       printf("physmemory: %"PRIuPSIZE" pages at 0x%08lx -> 0x%08lx\n", physmem,
            physical_start, physical_end - 1);
 
        printf("Allocating page tables\n");