[src/trunk]: src/sys/arch/aarch64/aarch64 pmapboot_pte_print() is only used w...

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

details:   https://anonhg.NetBSD.org/src/rev/75fa5f0b9eba
branches:  trunk
changeset: 995616:75fa5f0b9eba
user:      alnsn <alnsn%NetBSD.org@localhost>
date:      Sat Dec 29 19:53:38 2018 +0000

description:
pmapboot_pte_print() is only used when VERBOSE_INIT_ARM is defined.

diffstat:

 sys/arch/aarch64/aarch64/pmapboot.c |  6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diffs (34 lines):

diff -r 8531d899ff04 -r 75fa5f0b9eba sys/arch/aarch64/aarch64/pmapboot.c
--- a/sys/arch/aarch64/aarch64/pmapboot.c       Sat Dec 29 18:34:59 2018 +0000
+++ b/sys/arch/aarch64/aarch64/pmapboot.c       Sat Dec 29 19:53:38 2018 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmapboot.c,v 1.2 2018/10/05 01:54:10 ryo Exp $ */
+/*     $NetBSD: pmapboot.c,v 1.3 2018/12/29 19:53:38 alnsn Exp $       */
 
 /*
  * Copyright (c) 2018 Ryo Shimizu <ryo%nerv.org@localhost>
@@ -27,7 +27,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmapboot.c,v 1.2 2018/10/05 01:54:10 ryo Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmapboot.c,v 1.3 2018/12/29 19:53:38 alnsn Exp $");
 
 #include "opt_arm_debug.h"
 #include "opt_ddb.h"
@@ -139,6 +139,7 @@
  * it supports only maximum 7 argument, and only '%d', '%x', and '%s' formats.
  */
 
+#ifdef VERBOSE_INIT_ARM
 static void
 pmapboot_pte_print(pt_entry_t pte, int level,
     void (*pr)(const char *, ...) __printflike(1, 2))
@@ -152,6 +153,7 @@
            l0pde_pa(pte));
 #endif
 }
+#endif /* VERBOSE_INIT_ARM */
 
 #ifdef OPTIMIZE_TLB_CONTIG
 static inline bool