L1_S_SHIFT
(u_int)l1idx << L1_S_SHIFT, pa);
pde[va >> L1_S_SHIFT] = L1_S_PROTO | pa | L1_S_V7_AF |
PTE_SYNC(&pde[va >> L1_S_SHIFT]);
if ((pde[va >> L1_S_SHIFT] & L1_TYPE_MASK) != L1_TYPE_C)
kernel_pt_lookup(pde[va >> L1_S_SHIFT] & L2_S_FRAME);
u_int slot = va >> L1_S_SHIFT;
pde[va >> L1_S_SHIFT] = L1_S_PROTO | pa |
PTE_SYNC(&pde[va >> L1_S_SHIFT]);
if ((pde[va >> L1_S_SHIFT] & L1_TYPE_MASK) != L1_TYPE_C)
kernel_pt_lookup(pde[va >> L1_S_SHIFT] & L2_S_FRAME);
#define L1_IDX(va) (((vaddr_t)(va)) >> L1_S_SHIFT)
pmap_tlb_flushID_SE(pm, l1idx << L1_S_SHIFT);
#define L2_LOG2 ((32 - L1_S_SHIFT) - L2_BUCKET_LOG2)
(cur_pd[va>>L1_S_SHIFT] & L1_TYPE_MASK) == L1_TYPE_S;
new_pd[va>>L1_S_SHIFT] = cur_pd[va>>L1_S_SHIFT];