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 | |
| 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.
| -rw-r--r-- | vm/vm_resident.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/vm/vm_resident.c b/vm/vm_resident.c index f0f31f6..7644fd3 100644 --- a/vm/vm_resident.c +++ b/vm/vm_resident.c @@ -1508,7 +1508,7 @@ void vm_page_print(p) vm_page_t p; { iprintf("Page 0x%X: object 0x%X,", (vm_offset_t) p, (vm_offset_t) p->object); - printf(" offset 0x%X", (vm_offset_t) p->offset); + printf(" offset 0x%X", p->offset); printf("wire_count %d,", p->wire_count); printf(" %s", (p->active ? "active" : (p->inactive ? "inactive" : "loose"))); @@ -1533,7 +1533,7 @@ void vm_page_print(p) printf("%s,", (p->tabled ? "" : "not_tabled")); printf("phys_addr = 0x%X, lock = 0x%X, unlock_request = 0x%X\n", - (vm_offset_t) p->phys_addr, + p->phys_addr, (vm_offset_t) p->page_lock, (vm_offset_t) p->unlock_request); } |