[src/trunk]: src/sys/arch/arm/arm32 Fix build for non-generic start kernels

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

details:   https://anonhg.NetBSD.org/src/rev/fe8d0320ee9c
branches:  trunk
changeset: 445246:fe8d0320ee9c
user:      skrll <skrll%NetBSD.org@localhost>
date:      Fri Oct 19 08:30:57 2018 +0000

description:
Fix build for non-generic start kernels

diffstat:

 sys/arch/arm/arm32/arm32_machdep.c |  11 ++++++++---
 1 files changed, 8 insertions(+), 3 deletions(-)

diffs (37 lines):

diff -r 0939089ca23b -r fe8d0320ee9c sys/arch/arm/arm32/arm32_machdep.c
--- a/sys/arch/arm/arm32/arm32_machdep.c        Fri Oct 19 06:27:02 2018 +0000
+++ b/sys/arch/arm/arm32/arm32_machdep.c        Fri Oct 19 08:30:57 2018 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: arm32_machdep.c,v 1.123 2018/10/18 09:01:52 skrll Exp $        */
+/*     $NetBSD: arm32_machdep.c,v 1.124 2018/10/19 08:30:57 skrll Exp $        */
 
 /*
  * Copyright (c) 1994-1998 Mark Brinicombe.
@@ -42,7 +42,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: arm32_machdep.c,v 1.123 2018/10/18 09:01:52 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: arm32_machdep.c,v 1.124 2018/10/19 08:30:57 skrll Exp $");
 
 #include "opt_arm_debug.h"
 #include "opt_arm_start.h"
@@ -90,12 +90,17 @@
 #endif
 
 #ifdef VERBOSE_INIT_ARM
+#define VPRINTF(...)   printf(__VA_ARGS__)
+#ifdef __HAVE_GENERIC_START
 void generic_prints(const char *);
 void generic_printx(int);
-#define VPRINTF(...)   printf(__VA_ARGS__)
 #define VPRINTS(s)     generic_prints(s)
 #define VPRINTX(x)     generic_printx(x)
 #else
+#define VPRINTS(s)     __nothing
+#define VPRINTX(x)     __nothing
+#endif
+#else
 #define VPRINTF(...)   __nothing
 #define VPRINTS(s)     __nothing
 #define VPRINTX(x)     __nothing