blob: 7d84ef13b017a804a1370c184051dafec1bb85aa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
From 08de06feb3245859744a11e8dd9dde198ca33257 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sat, 15 Aug 2015 11:19:01 +0200
Subject: [PATCH gnumach 2/3] vm: enable extra assertions
* vm/vm_fault.c (vm_fault_page): Enable extra assertions.
---
vm/vm_fault.c | 2 --
1 file changed, 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
--
2.1.4
|
