summaryrefslogtreecommitdiff
path: root/vm/vm_resident.c
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-16 23:55:17 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-17 19:03:52 +0100
commit5a5ec187ae6cb2afc874ad9ef118ef634e9164c8 (patch)
tree2b4a7146254a713bce9eb2c8cf95635a6969a435 /vm/vm_resident.c
parentcea1f71ee21451d89cddeff04d8145697a5deab8 (diff)
vm: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'vm/vm_resident.c')
-rw-r--r--vm/vm_resident.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/vm/vm_resident.c b/vm/vm_resident.c
index 7644fd3..6f34041 100644
--- a/vm/vm_resident.c
+++ b/vm/vm_resident.c
@@ -1505,7 +1505,7 @@ vm_page_info(
* Routine: vm_page_print [exported]
*/
void vm_page_print(p)
- vm_page_t p;
+ const vm_page_t p;
{
iprintf("Page 0x%X: object 0x%X,", (vm_offset_t) p, (vm_offset_t) p->object);
printf(" offset 0x%X", p->offset);