pl1_i
if (!pmap_valid_entry(L1_BASE[pl1_i(va)])) {
L1_BASE[pl1_i(va)] = pa | pteflags | pmap_pg_g;
if (!pmap_valid_entry(L1_BASE[pl1_i(va)])) {
L1_BASE[pl1_i(va)] = pa | pteflags | pmap_pg_g;
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];
return (PTE_BASE + pl1_i(va));
return (PTE_BASE + pl1_i(va));
pte = L1_BASE[pl1_i(va)] & ~PTE_D;
pmap_pte_set(&L1_BASE[pl1_i(va)], pte);
early_zero_pte = PTE_BASE + pl1_i((vaddr_t)early_zerop);
pte = PTE_BASE + pl1_i(tmpva);
L1e_idx = pl1_i(startva);
pte = PTE_BASE + pl1_i(tmpva);
p1i = pl1_i(kva);
p1i = pl1_i(kva);
p1i = pl1_i(kva);
KASSERT((vaddr_t)&PTE_BASE[pl1_i(vabase)] % CACHE_LINE_SIZE == 0);
ci->vpage_pte[i] = PTE_BASE + pl1_i(ci->vpage[i]);
pmap_zap_ptp(pmap, ptps[i], &ptes[pl1_i(va)], va,
pte = ptes[pl1_i(va)];
return &PTE_BASE[pl1_i(va)]; /* (k)vtopte */
&ptes[pl1_i(va)], va);
pmap_remove_ptes(pmap, ptp, (vaddr_t)&ptes[pl1_i(va)], va,
spte = &ptes[pl1_i(va)];
epte = &ptes[pl1_i(blockend)];
ptep = &ptes[pl1_i(va)];
ptep = &ptes[pl1_i(va)];
ptep = &ptes[pl1_i(va)];
KASSERT(pmap_valid_entry(ptes[pl1_i(va)]));
unmap_op.host_addr = xpmap_ptetomach(&ptes[pl1_i(va)]);
pmap_pte_testset(&ptes[pl1_i(va)], 0);
pte = &ptes[pl1_i(sva)];
idx = pl1_i(va);
pidx = pl1_i(va % NBPD_L2);
if (pmap_valid_entry(L1_BASE[pl1_i(utlsva)])) {
KASSERT(*pte == L1_BASE[pl1_i(va)]);
*pte = L1_BASE[pl1_i(va)];
pte = ptes[pl1_i(va)];