diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-27 19:28:05 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-27 19:28:05 +0200 |
commit | 9f2b7bfc7168fa824b39a73a5be3bde4a485407d (patch) | |
tree | cf72efc25a0d7fd50599d263f0c596a6431787ff | |
parent | 0f3ec488afa427ce350493a2868cd7ebff04c42a (diff) |
funny, this makes the diskpager work a little morepmm-2015-07-27
-rw-r--r-- | vm/vm_fault.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/vm/vm_fault.c b/vm/vm_fault.c index a1c314b..0aa970f 100644 --- a/vm/vm_fault.c +++ b/vm/vm_fault.c @@ -230,7 +230,8 @@ vm_fault_return_t vm_fault_page( vm_object_t copy_object; boolean_t look_for_page; vm_prot_t access_required; - + printf ("vm_fault_page(%p, %p, %d, %d, %d, 0o%o...)\n", + first_object, first_offset, fault_type, must_be_resident, interruptible, *protection); if (resume) { vm_fault_state_t *state = (vm_fault_state_t *) current_thread()->ith_other; |