From 9f2b7bfc7168fa824b39a73a5be3bde4a485407d Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Mon, 27 Jul 2015 19:28:05 +0200
Subject: funny, this makes the diskpager work a little more

---
 vm/vm_fault.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
-- 
cgit v1.2.3