PT_SOFTWARE
if (PTE_GET(pte, PT_SOFTWARE) >= PT_NOSYNC)
REMAPASSERT(PTE_GET(old_pte, PT_SOFTWARE) >= PT_NOCONSIST);
if (PTE_GET(old_pte, PT_SOFTWARE) >= PT_NOCONSIST) {
ASSERT(PTE_GET(old_pte, PT_SOFTWARE) >= PT_NOCONSIST);
if (PTE_GET(pte, PT_SOFTWARE) >= PT_NOSYNC ||
if (PTE_GET(pte, PT_SOFTWARE) >= PT_NOSYNC ||
if (PTE_GET(pte, PT_SOFTWARE) >= PT_NOSYNC)
if (PTE_GET(oldpte, PT_SOFTWARE) >= PT_NOCONSIST)
PTE_GET(oldpte, PT_SOFTWARE) < PT_NOSYNC)
PTE_GET(oldpte, PT_SOFTWARE) >= PT_NOSYNC)
newpte &= ~PT_SOFTWARE;
PTE_GET(oldpte, PT_SOFTWARE) >= PT_NOSYNC)
newpte &= ~PT_SOFTWARE;
if (PTE_GET(newpte, PT_SOFTWARE) >= PT_NOSYNC)
if (PTE_GET(old_pte, PT_SOFTWARE) < PT_NOSYNC)
PTE_GET(old, PT_SOFTWARE) <= PT_NOSYNC)
if (PTE_GET(expected, PT_SOFTWARE) < PT_NOSYNC &&
if ((pte & PT_SOFTWARE) >= PT_FOREIGN)