diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-16 23:55:17 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-17 19:03:52 +0100 |
| commit | 5a5ec187ae6cb2afc874ad9ef118ef634e9164c8 (patch) | |
| tree | 2b4a7146254a713bce9eb2c8cf95635a6969a435 /vm/vm_print.h | |
| parent | cea1f71ee21451d89cddeff04d8145697a5deab8 (diff) | |
| download | gnumach-5a5ec187ae6cb2afc874ad9ef118ef634e9164c8.tar.gz gnumach-5a5ec187ae6cb2afc874ad9ef118ef634e9164c8.tar.bz2 gnumach-5a5ec187ae6cb2afc874ad9ef118ef634e9164c8.zip | |
vm: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'vm/vm_print.h')
| -rw-r--r-- | vm/vm_print.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/vm/vm_print.h b/vm/vm_print.h index c2c2918f..eab534eb 100644 --- a/vm/vm_print.h +++ b/vm/vm_print.h @@ -26,7 +26,7 @@ extern void vm_map_print(vm_map_t); /* Pretty-print a copy object for ddb. */ -extern void vm_map_copy_print(vm_map_copy_t); +extern void vm_map_copy_print(const vm_map_copy_t); #include <vm/vm_object.h> @@ -34,7 +34,7 @@ extern void vm_object_print(vm_object_t); #include <vm/vm_page.h> -extern void vm_page_print(vm_page_t); +extern void vm_page_print(const vm_page_t); #endif /* VM_PRINT_H */ |