PT_VALID
if (PTE_GET(pte, PT_VALID) == 0) {
if (PTE_GET(pte, PT_VALID) == 0)
if ((pte & PT_VALID) == 0)
*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;
pte = mmu_ptob((x86pte_t)mfn) | PT_VALID | PT_USER
FRAME_TO_MA(frames[i]) | PT_VALID | PT_WRITABLE,
if (pteval & PT_VALID) {
x86pte_t pte_bits = PT_VALID | PT_REF | PT_WRITABLE | PT_MOD | PT_NOCONSIST;
*pteval = pa_to_ma((uintptr_t)new_table) | PT_VALID;
x86pte_t ptp_bits = PT_VALID | PT_REF | PT_WRITABLE | PT_USER;
pte = mfn_to_ma(copy_mfn) | PT_NOCONSIST | PT_VALID;
static x86pte_t ptp_bits = PT_VALID | PT_REF | PT_USER | PT_WRITABLE;
PT_VALID | PT_REF | PT_MOD | PT_NOCONSIST | PT_WRITABLE;
} else if (table[index] & PT_VALID) {
#define PT_PTPBITS (PT_VALID | PT_USER | PT_WRITABLE | PT_REF)
mmu.pte_bits[i] = PT_VALID | pt_kern;
pte = kdi_ptom(mmu_ptob(mmu_btop(pa))) | PT_VALID;
#define PTE_ISVALID(p) PTE_GET(p, PT_VALID)
if (l > 0 && (prev & PT_VALID) && !(prev & PT_PAGESIZE)) {
if (kpm_vbase && xen_kpm_page(pfn, PT_VALID | PT_WRITABLE) < 0)
PT_VALID | PT_WRITABLE) < 0) {
(void) xen_kpm_page(ht->ht_pfn, PT_VALID);
(void) xen_kpm_page(hat->hat_user_ptable, PT_VALID);
(void) xen_kpm_page(pfn, PT_VALID | PT_WRITABLE);
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;
if (!(old_pte & PT_VALID) || ma_to_pa(old_pte) == -1)
PT_NOCONSIST | PT_REF | PT_MOD | PT_VALID;
*pteval = pa_to_ma(new_table) | PT_VALID;
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 | \
int pt_bits = PT_VALID;
int pt_bits = PT_VALID;
xen_info->shared_info | PT_NOCONSIST | PT_VALID | PT_WRITABLE,
if (kpm_vbase != NULL && xen_kpm_page(pfn, PT_VALID | PT_WRITABLE) < 0)
pte = pfn_to_pa(pfn) | PT_VALID;
pte = mmu_ptob((x86pte_t)mfn) | PT_VALID | PT_USER | PT_FOREIGN;
const uint64_t flags = PT_USER | PT_REF | PT_VALID;
const uint64_t flags = PT_USER | PT_REF | PT_VALID;
if ((pte & PT_VALID) == 0) {