diff options
author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-11 17:30:46 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-15 20:03:16 +0100 |
commit | 646001c0ed11c000d6a6c71594f89eeee3fd733f (patch) | |
tree | 168d06571bb131e6824931aba7c9a498cd7847ca /kern/gnumach.srv | |
parent | 7009c4753929f3fb5e07647dde6c9be02bf7e22a (diff) |
vm/vm_resident.c (vm_page_print): remove unnecessary casts
Members offset and phys_addr are of vm_offset_t types.
* vm/vm_resident.c (vm_page_print) (offset, phys_addr): Remove unnecessary casts.
Diffstat (limited to 'kern/gnumach.srv')
0 files changed, 0 insertions, 0 deletions