aboutsummaryrefslogtreecommitdiff
path: root/vm/vm_resident.c
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2016-03-11 21:47:03 +0100
committerRichard Braun <rbraun@sceen.net>2016-03-11 21:47:03 +0100
commit6cc11e068af0293a67ca855c8d33e6decdabf2b2 (patch)
treecc5ba82e619822c4ab51189150e364ec978d3f05 /vm/vm_resident.c
parent844fb104f5c0c50b94cbf6ab8fb2e97caa4bc7b3 (diff)
parentc774e89387a43d737abbdd99781a294c1cceebb2 (diff)
downloadgnumach-6cc11e068af0293a67ca855c8d33e6decdabf2b2.tar.gz
gnumach-6cc11e068af0293a67ca855c8d33e6decdabf2b2.tar.bz2
gnumach-6cc11e068af0293a67ca855c8d33e6decdabf2b2.zip
Merge remote-tracking branch 'remotes/origin/rbraun/vm_cache_policy'
Finally ;-).
Diffstat (limited to 'vm/vm_resident.c')
-rw-r--r--vm/vm_resident.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/vm/vm_resident.c b/vm/vm_resident.c
index 3d3a76de..fa7a337b 100644
--- a/vm/vm_resident.c
+++ b/vm/vm_resident.c
@@ -372,7 +372,7 @@ void vm_page_insert(
*/
object->resident_page_count++;
- assert(object->resident_page_count >= 0);
+ assert(object->resident_page_count != 0);
if (object->can_persist && (object->ref_count == 0))
vm_object_cached_pages_update(1);
@@ -479,7 +479,7 @@ void vm_page_replace(
*/
object->resident_page_count++;
- assert(object->resident_page_count >= 0);
+ assert(object->resident_page_count != 0);
if (object->can_persist && (object->ref_count == 0))
vm_object_cached_pages_update(1);