summaryrefslogtreecommitdiff
path: root/vm
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-15 11:19:01 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-15 12:11:12 +0200
commit08de06feb3245859744a11e8dd9dde198ca33257 (patch)
treeeaa0f1c63cc956d6ff076fff3f0cf78b6a0e469e /vm
parent2cdb55a93f5dbf032fab0102758c40b08dc9dab8 (diff)
vm: enable extra assertions
* vm/vm_fault.c (vm_fault_page): Enable extra assertions.
Diffstat (limited to 'vm')
-rw-r--r--vm/vm_fault.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/vm/vm_fault.c b/vm/vm_fault.c
index 0fa4d6a..46779f6 100644
--- a/vm/vm_fault.c
+++ b/vm/vm_fault.c
@@ -768,12 +768,10 @@ vm_fault_return_t vm_fault_page(
* objects.
*/
-#if EXTRA_ASSERTIONS
assert(m->busy && !m->absent);
assert((first_m == VM_PAGE_NULL) ||
(first_m->busy && !first_m->absent &&
!first_m->active && !first_m->inactive));
-#endif /* EXTRA_ASSERTIONS */
/*
* If the page is being written, but isn't