Lines Matching refs:va
230 vm_offset_t va; in devmap_vtop() local
235 va = (vm_offset_t)vpva; in devmap_vtop()
237 if (va >= pd->pd_va && va + size <= pd->pd_va + pd->pd_size) in devmap_vtop()
238 return ((vm_paddr_t)(pd->pd_pa + (va - pd->pd_va))); in devmap_vtop()
258 vm_offset_t va, offset; in pmap_mapdev() local
272 va = akva_devmap_vaddr; in pmap_mapdev()
273 KASSERT(va >= VM_MAX_KERNEL_ADDRESS - PMAP_MAPDEV_EARLY_SIZE, in pmap_mapdev()
277 va = kva_alloc(size); in pmap_mapdev()
278 if (!va) in pmap_mapdev()
281 pmap_kenter_device(va, size, pa); in pmap_mapdev()
283 return ((void *)(va + offset)); in pmap_mapdev()
290 vm_offset_t va, offset; in pmap_mapdev_attr() local
303 va = akva_devmap_vaddr; in pmap_mapdev_attr()
304 KASSERT(va >= (VM_MAX_KERNEL_ADDRESS - (PMAP_MAPDEV_EARLY_SIZE)), in pmap_mapdev_attr()
307 va = kva_alloc(size); in pmap_mapdev_attr()
308 if (!va) in pmap_mapdev_attr()
311 pmap_kenter(va, size, pa, ma); in pmap_mapdev_attr()
313 return ((void *)(va + offset)); in pmap_mapdev_attr()
323 vm_offset_t offset, va; in pmap_unmapdev() local
329 va = (vm_offset_t)p; in pmap_unmapdev()
330 offset = va & PAGE_MASK; in pmap_unmapdev()
331 va = trunc_page(va); in pmap_unmapdev()
334 pmap_kremove_device(va, size); in pmap_unmapdev()
335 kva_free(va, size); in pmap_unmapdev()