diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-15 11:19:01 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-15 12:11:12 +0200 |
| commit | 08de06feb3245859744a11e8dd9dde198ca33257 (patch) | |
| tree | eaa0f1c63cc956d6ff076fff3f0cf78b6a0e469e /vm | |
| parent | 2cdb55a93f5dbf032fab0102758c40b08dc9dab8 (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.c | 2 |
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 |