ansi

diff --git a/sys/arch/arm/arm/db_interface.c b/sys/arch/arm/arm/db_interface.c
index 554cda3..45ab8bc 100644 (file)
--- a/sys/arch/arm/arm/db_interface.c
+++ b/sys/arch/arm/arm/db_interface.c
@@ -1,4 +1,4 @@
-/*     $OpenBSD: db_interface.c,v 1.19 2022/04/14 19:47:10 naddy Exp $ */
+/*     $OpenBSD: db_interface.c,v 1.20 2022/10/15 08:04:02 jsg Exp $   */
 /*     $NetBSD: db_interface.c,v 1.34 2003/10/26 23:11:15 chris Exp $  */
 
 /* 
@@ -182,10 +182,7 @@ db_validate_address(vaddr_t addr)
  * Read bytes from kernel address space for debugger.
  */
 void
-db_read_bytes(addr, size, data)
-       vaddr_t addr;
-       size_t  size;
-       char    *data;
+db_read_bytes(vaddr_t addr, size_t size, char *data)
 {
        char    *src = (char *)addr;
 

diff --git a/sys/arch/arm64/arm64/db_interface.c b/sys/arch/arm64/arm64/db_interface.c
index 7e7e052..0d9c43b 100644 (file)
--- a/sys/arch/arm64/arm64/db_interface.c
+++ b/sys/arch/arm64/arm64/db_interface.c
@@ -1,4 +1,4 @@
-/*     $OpenBSD: db_interface.c,v 1.12 2022/04/14 19:47:11 naddy Exp $ */
+/*     $OpenBSD: db_interface.c,v 1.13 2022/10/15 08:04:02 jsg Exp $   */
 /*     $NetBSD: db_interface.c,v 1.34 2003/10/26 23:11:15 chris Exp $  */
 
 /*
@@ -197,10 +197,7 @@ db_validate_address(vaddr_t addr)
  * Read bytes from kernel address space for debugger.
  */
 void
-db_read_bytes(addr, size, data)
-       vaddr_t addr;
-       size_t  size;
-       char    *data;
+db_read_bytes(vaddr_t addr, size_t size, char *data)
 {
        char    *src = (char *)addr;
 

diff --git a/sys/arch/powerpc/ddb/db_memrw.c b/sys/arch/powerpc/ddb/db_memrw.c
index cf1a18e..da60d02 100644 (file)
--- a/sys/arch/powerpc/ddb/db_memrw.c
+++ b/sys/arch/powerpc/ddb/db_memrw.c
@@ -1,5 +1,5 @@
 /*     $NetBSD: db_memrw.c,v 1.4 2001/05/18 20:38:27 matt Exp $        */
-/*     $OpenBSD: db_memrw.c,v 1.5 2003/10/15 01:06:13 drahn Exp $      */
+/*     $OpenBSD: db_memrw.c,v 1.6 2022/10/15 08:04:02 jsg Exp $        */
 
 /* 
  * Mach Operating System
@@ -53,10 +53,7 @@
  * Read bytes from kernel address space for debugger.
  */
 void
-db_read_bytes(addr, size, data)
-       vaddr_t         addr;
-       size_t  size;
-       char    *data;
+db_read_bytes(vaddr_t addr, size_t size, char *data)
 {
        char    *src = (char *)addr;
        faultbuf env;
@@ -83,10 +80,7 @@ db_read_bytes(addr, size, data)
  * Write bytes to kernel address space for debugger.
  */
 void
-db_write_bytes(addr, size, data)
-       vaddr_t         addr;
-       size_t  size;
-       char    *data;
+db_write_bytes(vaddr_t addr, size_t size, char *data)
 {
        char    *dst = (char *)addr;
        faultbuf env;