[src/trunk]: src/sys/arch/x86/x86 Use db_printf instead of printf in ddb

[ozaki-r <ozaki-r%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/4fad00459f26
branches:  trunk
changeset: 360523:4fad00459f26
user:      ozaki-r <ozaki-r%NetBSD.org@localhost>
date:      Thu Mar 15 03:45:05 2018 +0000

description:
Use db_printf instead of printf in ddb

diffstat:

 sys/arch/x86/x86/db_memrw.c |  7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)

diffs (35 lines):

diff -r 3a0090a44a45 -r 4fad00459f26 sys/arch/x86/x86/db_memrw.c
--- a/sys/arch/x86/x86/db_memrw.c       Thu Mar 15 03:22:23 2018 +0000
+++ b/sys/arch/x86/x86/db_memrw.c       Thu Mar 15 03:45:05 2018 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: db_memrw.c,v 1.4 2017/11/11 12:51:05 maxv Exp $        */
+/*     $NetBSD: db_memrw.c,v 1.5 2018/03/15 03:45:05 ozaki-r Exp $     */
 
 /*-
  * Copyright (c) 1996, 2000 The NetBSD Foundation, Inc.
@@ -53,7 +53,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: db_memrw.c,v 1.4 2017/11/11 12:51:05 maxv Exp $");
+__KERNEL_RCSID(0, "$NetBSD: db_memrw.c,v 1.5 2018/03/15 03:45:05 ozaki-r Exp $");
 
 #include <sys/param.h>
 #include <sys/proc.h>
@@ -62,6 +62,7 @@
 #include <machine/db_machdep.h>
 
 #include <ddb/db_access.h>
+#include <ddb/db_output.h>
 
 /*
  * Read bytes from kernel address space for debugger.
@@ -117,7 +118,7 @@
                pte = *ppte;
 
                if ((pte & PG_V) == 0) {
-                       printf(" address %p not a valid page\n", dst);
+                       db_printf(" address %p not a valid page\n", dst);
                        return;
                }