PT_WRITABLE
writable = PTE_GET(pte, PT_WRITABLE);
writable != PTE_GET(pte, PT_WRITABLE)) {
writable = PTE_GET(pte, PT_WRITABLE);
if (PTE_GET(pte, PT_WRITABLE))
*ptep = gpa | PT_VALID | PT_WRITABLE | PT_PAGESIZE;
pdep[0] = MEM_LOC_PAGE_TABLE_2M | PT_VALID | PT_WRITABLE;
pdep[1] = (MEM_LOC_PAGE_TABLE_2M + PAGE_SIZE) | PT_VALID | PT_WRITABLE;
(MEM_LOC_PAGE_TABLE_2M + 2 * PAGE_SIZE) | PT_VALID | PT_WRITABLE;
(MEM_LOC_PAGE_TABLE_2M + 3 * PAGE_SIZE) | PT_VALID | PT_WRITABLE;
pdep[0] = MEM_LOC_PAGE_TABLE_1G | PT_VALID | PT_WRITABLE;
| PT_FOREIGN | PT_WRITABLE;
FRAME_TO_MA(frames[i]) | PT_VALID | PT_WRITABLE,
x86pte_t pte_bits = PT_VALID | PT_REF | PT_WRITABLE | PT_MOD | PT_NOCONSIST;
*pteval & ~(x86pte_t)PT_WRITABLE, UVMF_INVLPG | UVMF_LOCAL))
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_WRITABLE);
(PT_PADDR | PT_NX | PT_WRITABLE | PT_WRITETHRU | \
if (PTE_GET(pte, PT_WRITABLE))
!PTE_GET(oldpte, PT_WRITABLE))
newpte |= PT_WRITABLE;
PTE_GET(oldpte, PT_WRITABLE))
newpte &= ~PT_WRITABLE;
if ((attr & PROT_WRITE) && PTE_GET(oldpte, PT_WRITABLE))
newpte &= ~PT_WRITABLE;
if (PTE_GET(pte, PT_WRITABLE))
PTE_GET(old, PT_WRITABLE) == 0)
PTE_CLR(new, PT_REF | PT_MOD | PT_WRITABLE);
(PTE_GET(new, PT_NOSYNC) || !PTE_GET(new, PT_WRITABLE) ||
PTE_SET(pte, PT_WRITABLE);
newpte |= PT_WRITABLE;
if ((expect & (PT_WRITABLE | PT_MOD)) == PT_WRITABLE &&
(new & (PT_WRITABLE | PT_MOD)) == 0 &&
CAS_PTE(ptep, found, found | PT_WRITABLE);
} while ((found & PT_WRITABLE) == 0);
newpte = MAKEPTE(dest->ht_pfn, 0) | PT_WRITABLE;
if (kpm_vbase && xen_kpm_page(pfn, PT_VALID | PT_WRITABLE) < 0)
PT_VALID | PT_WRITABLE) < 0) {
(void) xen_kpm_page(pfn, PT_VALID | PT_WRITABLE);
x86pte_t pt_bits = PT_NOCONSIST | PT_VALID | PT_WRITABLE;
pt_bits &= ~PT_WRITABLE;
pteval = pa_to_ma(pa) | PT_NOCONSIST | PT_VALID | PT_WRITABLE;
pteval = ma | PT_NOCONSIST | PT_VALID | PT_REF | PT_WRITABLE;
if (PTE_GET(pte_val, PT_WRITABLE))
x86pte_t pte_val = pa_to_ma(pfn_to_pa(pfn)) | PT_WRITABLE |
PT_VALID | PT_REF | PT_USER | PT_WRITABLE;
#define PTE_BITS (PT_VALID | PT_WRITABLE)
#define PTE_DEV_BITS (PT_VALID | PT_WRITABLE | PT_NOCACHE | PT_NOCONSIST | \
pt_bits |= PT_WRITABLE;
pt_bits |= PT_WRITABLE;
xen_info->shared_info | PT_NOCONSIST | PT_VALID | PT_WRITABLE,
if (kpm_vbase != NULL && xen_kpm_page(pfn, PT_VALID | PT_WRITABLE) < 0)
pte |= PT_WRITABLE;
bits |= PT_WRITABLE;
const uint64_t rprot = PT_WRITABLE;
if ((pte & PT_WRITABLE) != 0)