From: jsg Date: Sat, 15 Oct 2022 08:04:02 +0000 (+0000) Subject: ansi X-Git-Url: http://artulab.com/gitweb/?a=commitdiff_plain;h=30f7d2db618d3aafbc3dec900c0cf77720ca4518;p=openbsd ansi --- diff --git a/sys/arch/arm/arm/db_interface.c b/sys/arch/arm/arm/db_interface.c index 554cda32ccc..45ab8bc6d2d 100644 --- 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 7e7e052eef8..0d9c43b1be8 100644 --- 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 cf1a18e71a2..da60d02af6c 100644 --- 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;