PAGE_STATE_MODIFIED
(writeThrough ? PAGE_STATE_CACHED : PAGE_STATE_MODIFIED)
if (page->State() != PAGE_STATE_MODIFIED)
vm_page_set_state(page, PAGE_STATE_MODIFIED);
|| page->State() == PAGE_STATE_MODIFIED) {
if (page->State() == PAGE_STATE_MODIFIED)
vm_page_set_state(page, PAGE_STATE_MODIFIED);
vm_page_set_state(page, PAGE_STATE_MODIFIED);
if (pageState == PAGE_STATE_MODIFIED
counter[PAGE_STATE_MODIFIED], busyCounter[PAGE_STATE_MODIFIED]);
case PAGE_STATE_MODIFIED:
if (pageState == PAGE_STATE_MODIFIED)
else if (page->State() == PAGE_STATE_MODIFIED)
case PAGE_STATE_MODIFIED:
set_page_state(page, PAGE_STATE_MODIFIED);
if (page->State() == PAGE_STATE_MODIFIED && (cache != NULL && cache->temporary))
case PAGE_STATE_MODIFIED: kprintf("M"); break;
case PAGE_STATE_MODIFIED:
state = PAGE_STATE_MODIFIED;
vm_page_set_state(fPage, PAGE_STATE_MODIFIED);
if (page->busy || page->State() != PAGE_STATE_MODIFIED)
if (page->busy || page->State() != PAGE_STATE_MODIFIED)
|| (page->State() != PAGE_STATE_MODIFIED
ASSERT(page->State() == PAGE_STATE_MODIFIED);
if (!page->busy && page->State() == PAGE_STATE_MODIFIED) {