Lines Matching refs:va
150 kdi_vtop(uintptr_t va, uint64_t *pap) in kdi_vtop() argument
152 uintptr_t vaddr = va; in kdi_vtop()
167 if (vaddr > va) in kdi_vtop()
169 if (vaddr < va) in kdi_vtop()
170 pfn += mmu_btop(va - vaddr); in kdi_vtop()
185 index = (va >> LEVEL_SHIFT(level)) & (mmu.ptes_per_table - 1); in kdi_vtop()
202 *pap += va & LEVEL_OFFSET(level); in kdi_vtop()
212 caddr_t va; in kdi_prw() local
229 va = (caddr_t)hat_kdi_page + pgoff; in kdi_prw()
232 from = va; in kdi_prw()
237 to = va; in kdi_prw()
248 (uintptr_t)va, pte, UVMF_INVLPG); in kdi_prw()
267 (uintptr_t)va, 0, UVMF_INVLPG); in kdi_prw()
308 kdi_range_is_nontoxic(uintptr_t va, size_t sz, int write) in kdi_range_is_nontoxic() argument
318 va + sz >= toxic_addr && in kdi_range_is_nontoxic()
319 va < toxic_addr + toxic_size) in kdi_range_is_nontoxic()
320 return (va < toxic_addr ? toxic_addr - va : 0); in kdi_range_is_nontoxic()
325 if (va + sz >= hole_start && va < hole_end) in kdi_range_is_nontoxic()
326 return (va < hole_start ? hole_start - va : 0); in kdi_range_is_nontoxic()
334 v = (uintptr_t)device_arena_contains((void *)va, sz, NULL); in kdi_range_is_nontoxic()
337 else if (v <= va) in kdi_range_is_nontoxic()
340 return (v - va); in kdi_range_is_nontoxic()