src/system/kernel/vm/vm_page.cpp

1507

PAGE_ASSERT(page, !page->IsMapped());

src/system/kernel/vm/vm_page.cpp

1568

PAGE_ASSERT(page, !page->IsMapped());

src/system/kernel/vm/vm_page.cpp

1569

PAGE_ASSERT(page, !page->modified);

src/system/kernel/vm/vm_page.cpp

1591

PAGE_ASSERT(page, cache != NULL);

src/system/kernel/vm/vm_page.cpp

1803

PAGE_ASSERT(page, page->State() == PAGE_STATE_ACTIVE);

src/system/kernel/vm/vm_page.cpp

1875

PAGE_ASSERT(page, !page->IsMapped());

src/system/kernel/vm/vm_page.cpp

1876

PAGE_ASSERT(page, !page->modified);

src/system/kernel/vm/vm_page.cpp

3169

PAGE_ASSERT(page, page->State() != PAGE_STATE_FREE

src/system/kernel/vm/vm_page.cpp

3172

PAGE_ASSERT(page, page->State() != PAGE_STATE_MODIFIED);

src/system/kernel/vm/vm_page.cpp

3186

PAGE_ASSERT(page, page->State() != PAGE_STATE_FREE

src/system/kernel/vm/vm_page.cpp

3200

PAGE_ASSERT(page, page->Cache() != NULL);