[src/trunk]: src/sys/arch/aarch64/aarch64 fix build error without DDB

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

details:   https://anonhg.NetBSD.org/src/rev/f96c6f1db240
branches:  trunk
changeset: 433793:f96c6f1db240
user:      ryo <ryo%NetBSD.org@localhost>
date:      Fri Oct 05 01:54:10 2018 +0000

description:
fix build error without DDB

diffstat:

 sys/arch/aarch64/aarch64/pmapboot.c |  8 +++++---
 1 files changed, 5 insertions(+), 3 deletions(-)

diffs (29 lines):

diff -r 3942017c66cd -r f96c6f1db240 sys/arch/aarch64/aarch64/pmapboot.c
--- a/sys/arch/aarch64/aarch64/pmapboot.c       Fri Oct 05 01:25:38 2018 +0000
+++ b/sys/arch/aarch64/aarch64/pmapboot.c       Fri Oct 05 01:54:10 2018 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmapboot.c,v 1.1 2018/10/04 23:53:13 ryo Exp $ */
+/*     $NetBSD: pmapboot.c,v 1.2 2018/10/05 01:54:10 ryo 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.1 2018/10/04 23:53:13 ryo Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmapboot.c,v 1.2 2018/10/05 01:54:10 ryo Exp $");
 
 #include "opt_arm_debug.h"
 #include "opt_ddb.h"
@@ -147,7 +147,9 @@
        pmap_db_pte_print(pte, level, pr);
 #else
        __USE(level);
-       pr(" PA=%016lx\n", lxpde_pa(pte));
+       pr(" %s PA=%016lx\n",
+           l0pde_valid(pte) ? "VALID" : "INVALID",
+           l0pde_pa(pte));
 #endif
 }