Lines Matching refs:va
287 extern addr64_t kvtophys(vm_offset_t va); /* Get physical address from kernel virtual */
288 extern vm_map_offset_t kvtophys64(vm_map_offset_t va); /* Get 64-bit physical address from kernel virtual */
289 extern vm_offset_t pmap_map(vm_offset_t va,
306 extern void sync_cache_virtual(vm_offset_t va, unsigned length);
307 extern void flush_dcache(vm_offset_t va, unsigned length, boolean_t phys);
308 extern void flush_dcache64(addr64_t va, unsigned length, boolean_t phys);
309 extern void invalidate_dcache(vm_offset_t va, unsigned length, boolean_t phys);
310 extern void invalidate_dcache64(addr64_t va, unsigned length, boolean_t phys);
311 extern void invalidate_icache(vm_offset_t va, unsigned length, boolean_t phys);
312 extern void invalidate_icache64(addr64_t va, unsigned length, boolean_t phys);
313 extern void pmap_map_block(pmap_t pmap, addr64_t va, ppnum_t pa, uint32_t size, vm_prot_t prot, int attr, unsigned int flags);
314 extern int pmap_map_block_rc(pmap_t pmap, addr64_t va, ppnum_t pa, uint32_t size, vm_prot_t prot, int attr, unsigned int flags);
316 extern ppnum_t pmap_find_phys(pmap_t pmap, addr64_t va);
318 extern addr64_t MapUserMemoryWindow(vm_map_t map, addr64_t va);