diff options
| author | Justus Winter <justus@gnupg.org> | 2017-08-11 22:00:09 +0200 |
|---|---|---|
| committer | Justus Winter <justus@gnupg.org> | 2017-08-12 12:33:54 +0200 |
| commit | 2996a4cfe987e6feb7c705354908ae2e59366d65 (patch) | |
| tree | 151a104a0bfa9902297a1b787a0c62e1a37295d8 | |
| parent | e8b45fe8b5c6801f60e2825d09a2bda22e80372a (diff) | |
vm: Mute paging error message.
* vm/vm_fault.c (vm_fault_page): Mute paging error message if the
objects pager is NULL. This happens when a pager is destroyed,
e.g. at system shutdown time when the root filesystem terminates.
| -rw-r--r-- | vm/vm_fault.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vm/vm_fault.c b/vm/vm_fault.c index 99381efd..4d1d90a4 100644 --- a/vm/vm_fault.c +++ b/vm/vm_fault.c @@ -651,7 +651,7 @@ vm_fault_return_t vm_fault_page( object->pager_request, m->offset + object->paging_offset, PAGE_SIZE, access_required)) != KERN_SUCCESS) { - if (rc != MACH_SEND_INTERRUPTED) + if (object->pager && rc != MACH_SEND_INTERRUPTED) printf("%s(0x%p, 0x%p, 0x%lx, 0x%x, 0x%x) failed, %x\n", "memory_object_data_request", object->pager, |