pmap_pte1
pte1p = pmap_pte1(pmap, va);
pte1 = pte1_load(pmap_pte1(pmap, va));
pte1 = pte1_load(pmap_pte1(pmap, va));
pte1 = pte1_load(pmap_pte1(pmap, va));
pte1 = pte1_load(pmap_pte1(pmap, va));
pte1p = pmap_pte1(pmap, (vm_offset_t)PT2MAP);
pte1 = pte1_load(pmap_pte1(pmap, va));
pte1p = pmap_pte1(pmap, va);
pte1p = pmap_pte1(pmap, va);
pte1p = pmap_pte1(pmap, va);
pte1p = pmap_pte1(pmap, va);
pte1 = pte1_load(pmap_pte1(pmap, sva));
pte1p = pmap_pte1(pmap, sva);
pte1p = pmap_pte1(pmap, va);
pte1p = pmap_pte1(pmap, pv->pv_va);
pte1p = pmap_pte1(pmap, pv->pv_va);
pte1p = pmap_pte1(pmap, va);
pte1p = pmap_pte1(pmap, va);
pte1p = pmap_pte1(pmap, addr);
pte1p = pmap_pte1(pmap, sva);
pte1 = pte1_load(pmap_pte1(pmap, pv->pv_va));
pte1 = pte1_load(pmap_pte1(pmap, pv->pv_va));
pte1 = pte1_load(pmap_pte1(pmap, addr));
pte1 = pte1_load(pmap_pte1(pmap, pv->pv_va));
pte1p = pmap_pte1(pmap, pv->pv_va);
pte1p = pmap_pte1(pmap, pv->pv_va);
pte1p = pmap_pte1(pmap, sva);
pte1p = pmap_pte1(pmap, va);
pte1p = pmap_pte1(pmap, pv->pv_va);
pte1p = pmap_pte1(pmap, sva);
pte1p = pmap_pte1(pmap, va);
pte1p = pmap_pte1(pmap, pv->pv_va);
pte1p = pmap_pte1(pmap, addr);
pte1 = pte1_load(pmap_pte1(pmap, far));
pte1 = pte1_load(pmap_pte1(pmap, far));
pte1p = pmap_pte1(pmap, far);
pte1 = pte1_load(pmap_pte1(pmap, far));
pte1p = pmap_pte1(pmap, far);
pte1 = pte1_load(pmap_pte1(pmap, va));