PT_NOCONSIST
if (PTE_GET(pte, PT_NOCONSIST))
x86pte_t pte_bits = PT_VALID | PT_REF | PT_WRITABLE | PT_MOD | PT_NOCONSIST;
pte = mfn_to_ma(copy_mfn) | PT_NOCONSIST | PT_VALID;
PT_VALID | PT_REF | PT_MOD | PT_NOCONSIST | PT_WRITABLE;
PTE_SET(pte, PT_NOCONSIST | PT_REF | PT_MOD);
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(oldpte, PT_SOFTWARE) >= PT_NOCONSIST)
x86pte_t pte = PT_NOCONSIST | PT_REF | PT_MOD;
x86pte_t pt_bits = PT_NOCONSIST | PT_VALID | PT_WRITABLE;
pteval = pa_to_ma(pa) | PT_NOCONSIST | PT_VALID | PT_WRITABLE;
pteval = ma | PT_NOCONSIST | PT_VALID | PT_REF | PT_WRITABLE;
PT_NOCONSIST | PT_VALID;
PT_NOCONSIST | PT_REF | PT_MOD | PT_VALID;
#define PTE_DEV_BITS (PT_VALID | PT_WRITABLE | PT_NOCACHE | PT_NOCONSIST | \
xen_info->shared_info | PT_NOCONSIST | PT_VALID | PT_WRITABLE,