vm_page_any_valid
if (vm_page_any_valid(mpte))
KASSERT(vm_page_any_valid(mpte),
if (vm_page_any_valid(mpte)) {
KASSERT(vm_page_any_valid(mpte),
if (vm_page_any_valid(ml3))
KASSERT(vm_page_any_valid(ml3),
if (vm_page_any_valid(ml3)) {
KASSERT(vm_page_any_valid(ml3),
if (vm_page_any_valid(mpte))
KASSERT(vm_page_any_valid(mpte),
KASSERT(vm_page_any_valid(mpte),
if (vm_page_any_valid(ml3))
KASSERT(vm_page_any_valid(ml3),
KASSERT(vm_page_any_valid(mpte),
if (m != NULL && pages.index == pindex && vm_page_any_valid(m))
if (vm_page_any_valid(m))
vm_page_any_valid(m)) ||
if (vm_page_any_valid(m))
vm_page_any_valid(m) || !vm_page_tryxbusy(m))
return (vm_page_any_valid(m) && (m->valid & bits) == bits);