diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | vm/vm_fault.c | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2008-12-05 Samuel Thibault <samuel.thibault@ens-lyon.org> + + * vm/vm_fault.c (vm_fault_page): Print value returned + memory_object_data_request as %x instead of %d. + 2008-11-15 Shakthi Kannan <shakshurd@gmail.com> * device/ds_routines.h (device_reference, device_deallocate): Add diff --git a/vm/vm_fault.c b/vm/vm_fault.c index 509cb52..cce043a 100644 --- a/vm/vm_fault.c +++ b/vm/vm_fault.c @@ -660,7 +660,7 @@ vm_fault_return_t vm_fault_page(first_object, first_offset, m->offset + object->paging_offset, PAGE_SIZE, access_required)) != KERN_SUCCESS) { if (rc != MACH_SEND_INTERRUPTED) - printf("%s(0x%p, 0x%p, 0x%x, 0x%x, 0x%x) failed, %d\n", + printf("%s(0x%p, 0x%p, 0x%x, 0x%x, 0x%x) failed, %x\n", "memory_object_data_request", object->pager, object->pager_request, |