PTE_BASE
return (addr >= (vaddr_t)PTE_BASE &&
addr < ((vaddr_t)PTE_BASE + NBPD_L4));
return (addr >= (vaddr_t)PTE_BASE &&
addr < ((vaddr_t)PTE_BASE + NBPD_L4));
return (addr >= (vaddr_t)PTE_BASE &&
addr < ((vaddr_t)PTE_BASE + NBPD_L4));
#define L1_BASE PTE_BASE
pa = (PTE_BASE[pl1_i(va)] & PTE_FRAME);
if (PTE_BASE[pl1_i(va)] & PTE_P) {
PTE_BASE[pl1_i(va)] = pa | PTE_P | protection_codes[prot];
PTE_BASE[pl1_i(va)] = pa | PTE_P | protection_codes[prot];
#define L1_BASE PTE_BASE
sparse_dump_mark((vaddr_t)PTE_BASE, 0, 1);
#define L1_BASE PTE_BASE
return (PTE_BASE + pl1_i(va));
return (PTE_BASE + pl1_i(va));
va = ((va & XPTE_MASK) >> XPTE_SHIFT) | (vaddr_t) PTE_BASE;
early_zero_pte = PTE_BASE + pl1_i((vaddr_t)early_zerop);
pte = PTE_BASE + pl1_i(tmpva);
pte = PTE_BASE + pl1_i(tmpva);
if (pmap_valid_entry(PTE_BASE[p1i]))
PTE_BASE[p1i] |= pmap_pg_g;
if (pmap_valid_entry(PTE_BASE[p1i]))
PTE_BASE[p1i] |= pmap_pg_g;
if (pmap_valid_entry(PTE_BASE[p1i]))
PTE_BASE[p1i] |= pmap_pg_g;
KASSERT((vaddr_t)&PTE_BASE[pl1_i(vabase)] % CACHE_LINE_SIZE == 0);
ci->vpage_pte[i] = PTE_BASE + pl1_i(ci->vpage[i]);
return &PTE_BASE[pl1_i(va)]; /* (k)vtopte */
*ptepp = PTE_BASE;
*ptepp = PTE_BASE;