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.


git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@26248 a95241bf-73f2-0310-859d-f6bbb57e9c96
This commit is contained in:
Ingo Weinhold 2008-07-04 15:46:27 +00:00
parent 063a092f93
commit b8a6621507

View File

@ -4321,6 +4321,9 @@ fault_find_page(vm_translation_map *map, vm_cache *topCache,
cache = nextCache;
}
if (page == &dummyPage)
page = NULL;
if (page == NULL) {
// there was no adequate page, determine the cache for a clean one
if (cache == NULL) {