uvm_pagegetdirty
uvm_pagegetdirty(pg) != UVM_PAGE_STATUS_CLEAN ||
KASSERT(!needs_clean || uvm_pagegetdirty(pgs[i]) !=
if (uvm_pagegetdirty(pg) ==
KASSERTMSG(blockalloc || uvm_pagegetdirty(pg) ==
uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_CLEAN) {
KASSERT(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_CLEAN);
uvm_pagegetdirty(pg) != UVM_PAGE_STATUS_CLEAN &&
(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_DIRTY ||
KASSERT(!(uvm_pagegetdirty(pg) != UVM_PAGE_STATUS_DIRTY
KASSERT(uvm_pagegetdirty(ptmp) != UVM_PAGE_STATUS_CLEAN);
KASSERT(uvm_pagegetdirty(ptmp) !=
KASSERT(uvm_pagegetdirty(ptmp) !=
KASSERTMSG(uvm_pagegetdirty(pg) ==
KASSERTMSG(uvm_pagegetdirty(pg) ==
KASSERT(uvm_pagegetdirty(pg) != UVM_PAGE_STATUS_CLEAN);
KASSERT(uvm_pagegetdirty(pg) != UVM_PAGE_STATUS_CLEAN);
uvm_pagegetdirty(uobjpage) == UVM_PAGE_STATUS_CLEAN);
uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_CLEAN);
KASSERT(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_DIRTY);
KASSERT(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_DIRTY);
KASSERT(uvm_pagegetdirty(newpg) == UVM_PAGE_STATUS_DIRTY);
oldstatus = uvm_pagegetdirty(anon->an_page);
const unsigned status = uvm_pagegetdirty(pg);
const unsigned int status = uvm_pagegetdirty(pg);
if (uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_CLEAN) {
unsigned int uvm_pagegetdirty(struct vm_page *);
const unsigned int oldstatus = uvm_pagegetdirty(pg);
const unsigned int oldstatus = uvm_pagegetdirty(pg);
KASSERT(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_CLEAN);
if (uvm_pagegetdirty(p) == UVM_PAGE_STATUS_UNKNOWN) {
if (uvm_pagegetdirty(p) != UVM_PAGE_STATUS_DIRTY) {
KASSERTMSG(uvm_pagegetdirty(pg) ==