UVM_PAGE_STATUS_DIRTY
UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_DIRTY ||
KASSERT(!(uvm_pagegetdirty(pg) != UVM_PAGE_STATUS_DIRTY
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pgs[i], UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pgs[i], UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(ptmp, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(ptmp, UVM_PAGE_STATUS_DIRTY);
UVM_PAGE_STATUS_DIRTY,
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
UVM_PAGE_STATUS_DIRTY,
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
KASSERT(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_DIRTY);
KASSERT(uvm_pagegetdirty(pg) == UVM_PAGE_STATUS_DIRTY);
KASSERT(uvm_pagegetdirty(newpg) == UVM_PAGE_STATUS_DIRTY);
UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(dst, UVM_PAGE_STATUS_DIRTY);
if (oldstatus == UVM_PAGE_STATUS_DIRTY) {
__CTASSERT(UVM_PAGE_STATUS_DIRTY == PG_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_DIRTY);
uvm_pagemarkdirty(p, UVM_PAGE_STATUS_DIRTY);
if (uvm_pagegetdirty(p) != UVM_PAGE_STATUS_DIRTY) {