Changeset 26248

Timestamp:

07/04/08 11:46:27 (5 months ago)

Author:

bonefish

Message:

fault_find_page(): When the source of the top cache is busy, we may
find our own dummy page. This is equivalent to not finding a page at
all. Fixes #2471.

Files:

• haiku/trunk/src/system/kernel/vm/vm.cpp (modified) (1 diff)

haiku/trunk/src/system/kernel/vm/vm.cpp

@@ -4322 +4322 @@
         }
 
+        if (page == &dummyPage)
+                page = NULL;
+
         if (page == NULL) {
                 // there was no adequate page, determine the cache for a clean one