Module Name: src
Committed By: ozaki-r
Date: Thu Mar 15 03:45:05 UTC 2018
Modified Files:
src/sys/arch/x86/x86: db_memrw.c
Log Message:
Use db_printf instead of printf in ddb
To generate a diff of this commit:
cvs rdiff -u -r1.4 -r1.5 src/sys/arch/x86/x86/db_memrw.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/arch/x86/x86/db_memrw.c
diff -u src/sys/arch/x86/x86/db_memrw.c:1.4 src/sys/arch/x86/x86/db_memrw.c:1.5
--- src/sys/arch/x86/x86/db_memrw.c:1.4 Sat Nov 11 12:51:05 2017
+++ src/sys/arch/x86/x86/db_memrw.c Thu Mar 15 03:45:05 2018
@@ -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 @@ __KERNEL_RCSID(0, "$NetBSD: db_memrw.c,v
#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 @@ db_write_text(vaddr_t addr, size_t size,
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;
}
