Lines Matching defs:pv_va
670 vaddr_t pv_va; /* virtual address for mapping */
993 pv->pv_va = va;
1075 if (pm == pv->pv_pmap && va == pv->pv_va)
1105 if (pv->pv_pmap == pm && pv->pv_va == va) { /* match? */
1974 = pmap_get_l2_bucket(pv->pv_pmap, pv->pv_va);
1977 = &l2b->l2b_kva[l2pte_index(pv->pv_va)];
1981 if ((va != pv->pv_va || pm != pv->pv_pmap)
1983 pmap_cache_wbinv_page(pv->pv_pmap, pv->pv_va,
1985 pmap_tlb_flush_SE(pv->pv_pmap, pv->pv_va,
2006 = pmap_get_l2_bucket(pv->pv_pmap, pv->pv_va);
2009 = &l2b->l2b_kva[l2pte_index(pv->pv_va)];
2015 pmap_tlb_flush_SE(pv->pv_pmap, pv->pv_va,
2068 tst_mask = pv->pv_va;
2078 if (tst_mask != (pv->pv_va & arm_cache_prefer_mask))
2092 if (tst_mask != (pv->pv_va & arm_cache_prefer_mask)) {
2113 KDASSERT(((tst_mask ^ pv->pv_va) & arm_cache_prefer_mask) == 0);
2145 tst_mask = (md->pvh_attrs ^ pv->pv_va)
2199 KDASSERT(((tst_mask ^ pv->pv_va) & arm_cache_prefer_mask) == 0);
2294 pv->pv_va);
2296 pt_entry_t * const ptep = &l2b->l2b_kva[l2pte_index(pv->pv_va)];
2310 pmap_tlb_flush_SE(pv->pv_pmap, pv->pv_va, pv->pv_flags);
2379 const vaddr_t va = pv->pv_va;
2619 page_to_clean = pv->pv_va;
2947 l2b = pmap_get_l2_bucket(pm, pv->pv_va);
2948 KASSERTMSG(l2b != NULL, "%#lx", pv->pv_va);
2950 ptep = &l2b->l2b_kva[l2pte_index(pv->pv_va)];
2970 pmap_tlb_invalidate_addr(pm, pv->pv_va);
6331 pd_entry_t *l1pt = (pd_entry_t *) kernel_l1pt.pv_va;
6375 efipm->pm_l1 = (pd_entry_t *)efirt_l1pt.pv_va;
6473 if (pmap_set_pt_cache_mode(l1pt, kernel_l1pt.pv_va,
6476 "primary L1 @ 0x%lx\n", kernel_l1pt.pv_va);
6479 if (pmap_set_pt_cache_mode(l1pt, efirt_l1pt.pv_va,
6482 "EFI RT L1 @ 0x%lx\n", efirt_l1pt.pv_va);
6930 return pv->pv_va | (pa & PGOFSET);
8054 pv->pv_va, pv->pv_flags);
8067 if (newpv->pv_pa < pv->pv_va) {
8133 rpv->pv_va = pv->pv_va + off;
8139 KASSERT((vaddr_t) pv == rpv->pv_va);
8142 KASSERT((vaddr_t) pv == rpv->pv_va);
8143 newpv = (pv_addr_t *) (rpv->pv_va + amount);
8146 newpv->pv_va += amount;
8149 newpv = (pv_addr_t *) (rpv->pv_va + amount);
8153 newpv->pv_va += off + amount;
8158 KASSERT((vaddr_t) pv != rpv->pv_va);
8160 memset((void *)rpv->pv_va, 0, amount);
8182 && pv->pv_va + pv->pv_size <= ptoa(epn)) {
8183 rpv->pv_va = pv->pv_va;
8187 pmap_map_chunk(kernel_l1pt.pv_va,
8188 ptoa(spn) + (pv->pv_va - pv->pv_pa),
8195 memset((void *)rpv->pv_va, 0, rpv->pv_size);
8210 return pv.pv_va;