PT_MOD
if (level > 0 && PTE_GET(pte, PT_MOD))
x86pte_t pte_bits = PT_VALID | PT_REF | PT_WRITABLE | PT_MOD | PT_NOCONSIST;
PT_VALID | PT_REF | PT_MOD | PT_NOCONSIST | PT_WRITABLE;
PTE_SET(pte, PT_NOCONSIST | PT_REF | PT_MOD);
PTE_SET(pte, PT_NOSYNC | PT_REF | PT_MOD);
if (PTE_GET(pte, PT_MOD))
PT_NOCACHE | PT_PAT_4K | PT_PAT_LARGE | PT_IGNORE | PT_REF | PT_MOD)
PTE_GET(pte, PT_REF | PT_MOD) == 0)
PTE_GET(pte, PT_REF | PT_MOD) == 0) {
PTE_CLR(new, PT_REF | PT_MOD);
newpte |= PT_REF | PT_MOD;
PTE_CLR(new, PT_REF | PT_MOD | PT_WRITABLE);
if (PTE_GET(old, PT_REF | PT_MOD) == 0)
PTE_CLR(new, PT_REF | PT_MOD);
PTE_GET(expected, PT_MOD | PT_REF) &&
!PTE_GET(new, PT_MOD | PT_REF))) {
if (PTE_GET(expected, PT_MOD))
PTE_CLR(new, PT_MOD | PT_REF);
PT_FOREIGN | PT_REF | PT_MOD) : \
#define PTE_EQUIV(a, b) (((a) | (PT_IGNORE | PT_REF | PT_MOD)) == \
((b) | (PT_IGNORE | PT_REF | PT_MOD)))
n |= prev & (PT_REF | PT_MOD);
x86pte_t pte = PT_NOCONSIST | PT_REF | PT_MOD;
if (tlb && (oldpte & (PT_REF | PT_MOD)))
if ((expect & (PT_WRITABLE | PT_MOD)) == PT_WRITABLE &&
(new & (PT_WRITABLE | PT_MOD)) == 0 &&
(GET_PTE(ptep) & PT_MOD) != 0) {
PT_NOCONSIST | PT_REF | PT_MOD | PT_VALID;
.vpi_bit_dirty = PT_MOD,