diff --git a/sys/arm/arm/db_interface.c b/sys/arm/arm/db_interface.c
index 73d0cc47861..c202a5ab001 100644
--- a/sys/arm/arm/db_interface.c
+++ b/sys/arm/arm/db_interface.c
@@ -180,10 +180,7 @@ db_validate_address(vm_offset_t addr)
  * Read bytes from kernel address space for debugger.
  */
 int
-db_read_bytes(addr, size, data)
-	vm_offset_t	addr;
-	size_t	size;
-	char	*data;
+db_read_bytes(vm_offset_t addr, size_t size, char *data)
 {
 	char	*src = (char *)addr;