--- Gnu-Mach/vm/vm_print.h	2020/09/02 04:47:49	1.1
+++ Gnu-Mach/vm/vm_print.h	2020/09/02 04:52:10	1.1.1.2
@@ -23,7 +23,8 @@
 #include <machine/db_machdep.h>
 
 /* Debugging: print a map */
-extern void vm_map_print(vm_map_t);
+extern void vm_map_print(db_expr_t addr, boolean_t have_addr,
+                         db_expr_t count, const char *modif);
 
 /* Pretty-print a copy object for ddb. */
 extern void vm_map_copy_print(const vm_map_copy_t);