UVM_PAGE_STATUS_CLEAN
uvm_pagegetdirty(pg) != UVM_PAGE_STATUS_CLEAN ||
UVM_PAGE_STATUS_CLEAN) {
UVM_PAGE_STATUS_CLEAN, "page %p not clean", pg);
uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_CLEAN) {
KASSERT(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_CLEAN);
uvm_pagegetdirty(pg) != UVM_PAGE_STATUS_CLEAN &&
KASSERT(uvm_pagegetdirty(ptmp) != UVM_PAGE_STATUS_CLEAN);
UVM_PAGE_STATUS_CLEAN);
UVM_PAGE_STATUS_CLEAN);
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);
if (uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_CLEAN) {
if (newstatus == UVM_PAGE_STATUS_CLEAN) {
} else if (oldstatus == UVM_PAGE_STATUS_CLEAN) {
if (oldstatus == UVM_PAGE_STATUS_CLEAN) {
UVM_PAGE_STATUS_CLEAN : UVM_PAGE_STATUS_UNKNOWN;
__CTASSERT(UVM_PAGE_STATUS_CLEAN == PG_CLEAN);
KASSERT(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_CLEAN);
uvm_pagemarkdirty(p, UVM_PAGE_STATUS_CLEAN);
UVM_PAGE_STATUS_CLEAN, "page %p not clean", pg);