UVM_PAGE_STATUS_UNKNOWN
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_UNKNOWN);
UVM_PAGE_STATUS_UNKNOWN);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_UNKNOWN);
uvm_pagemarkdirty(ptmp, UVM_PAGE_STATUS_UNKNOWN);
uvm_pagemarkdirty(pg, UVM_PAGE_STATUS_UNKNOWN);
if (newstatus == UVM_PAGE_STATUS_UNKNOWN) {
UVM_PAGE_STATUS_CLEAN : UVM_PAGE_STATUS_UNKNOWN;
if (newstatus == UVM_PAGE_STATUS_UNKNOWN) {
KASSERT(oldstatus == UVM_PAGE_STATUS_UNKNOWN);
__CTASSERT(UVM_PAGE_STATUS_UNKNOWN == 0);
if (uvm_pagegetdirty(p) == UVM_PAGE_STATUS_UNKNOWN) {