From 699b57307e2cf51c3afb14fe9d3417c023203399 Mon Sep 17 00:00:00 2001
From: Ingo Weinhold <ingo_weinhold@gmx.de>
Date: Wed, 29 Oct 2014 02:30:36 +0100
Subject: [PATCH] VMAnonymousCache::_MergePagesSmallerConsumer(): Add ASSERT

---
 src/system/kernel/vm/VMAnonymousCache.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/system/kernel/vm/VMAnonymousCache.cpp b/src/system/kernel/vm/VMAnonymousCache.cpp
index ff399c1aff..83f18e11dd 100644
--- a/src/system/kernel/vm/VMAnonymousCache.cpp
+++ b/src/system/kernel/vm/VMAnonymousCache.cpp
@@ -1065,6 +1065,9 @@ VMAnonymousCache::_MergePagesSmallerConsumer(VMAnonymousCache* source)
 		if (sourcePage != NULL) {
 			DEBUG_PAGE_ACCESS_START(sourcePage);
 			ASSERT_PRINT(!sourcePage->busy, "page: %p", sourcePage);
+			ASSERT_PRINT(sourcePage->WiredCount() == 0
+					&& sourcePage->mappings.IsEmpty(),
+				"sourcePage: %p, page: %p", sourcePage, page);
 			source->RemovePage(sourcePage);
 			vm_page_free(source, sourcePage);
 		}