Lines Matching defs:rpv
8104 pv_addr_t *rpv)
8133 rpv->pv_va = pv->pv_va + off;
8134 rpv->pv_pa = pv->pv_pa + off;
8135 rpv->pv_size = amount;
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);
8149 newpv = (pv_addr_t *) (rpv->pv_va + amount);
8158 KASSERT((vaddr_t) pv != rpv->pv_va);
8160 memset((void *)rpv->pv_va, 0, amount);
8183 rpv->pv_va = pv->pv_va;
8184 rpv->pv_pa = pv->pv_pa;
8185 rpv->pv_size = amount;
8195 memset((void *)rpv->pv_va, 0, rpv->pv_size);