PT_REF
if (level > 0 && PTE_GET(pte, PT_REF))
x86pte_t pte_bits = PT_VALID | PT_REF | PT_WRITABLE | PT_MOD | PT_NOCONSIST;
x86pte_t ptp_bits = PT_VALID | PT_REF | PT_WRITABLE | PT_USER;
static x86pte_t ptp_bits = PT_VALID | PT_REF | PT_USER | PT_WRITABLE;
PT_VALID | PT_REF | PT_MOD | PT_NOCONSIST | PT_WRITABLE;
#define PT_PTPBITS (PT_VALID | PT_USER | PT_WRITABLE | PT_REF)
PTE_SET(pte, PT_NOCONSIST | PT_REF | PT_MOD);
PTE_SET(pte, PT_NOSYNC | PT_REF | PT_MOD);
if (PTE_GET(pte, PT_REF))
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_REF))
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)))
if ((found & ~PT_REF) != 0)
n |= prev & (PT_REF | PT_MOD);
if (old & PT_REF)
x86pte_t pte = PT_NOCONSIST | PT_REF | PT_MOD;
if (tlb && (oldpte & (PT_REF | PT_MOD)))
pteval = ma | PT_NOCONSIST | PT_VALID | PT_REF | PT_WRITABLE;
PT_NOCONSIST | PT_REF | PT_MOD | PT_VALID;
PT_VALID | PT_REF | PT_USER | PT_WRITABLE;
.vpi_bit_accessed = PT_REF,
const uint64_t flags = PT_USER | PT_REF | PT_VALID;
const uint64_t flags = PT_USER | PT_REF | PT_VALID;