Lines Matching refs:va
401 static inline void __arch_mem_map(void *va, uintptr_t pa, uint32_t xtensa_flags, bool is_user) in __arch_mem_map() argument
409 if (sys_cache_is_ptr_cached(va)) { in __arch_mem_map()
410 vaddr = va; in __arch_mem_map()
411 vaddr_uc = sys_cache_uncached_ptr_get(va); in __arch_mem_map()
413 vaddr = sys_cache_cached_ptr_get(va); in __arch_mem_map()
414 vaddr_uc = va; in __arch_mem_map()
428 vaddr = va; in __arch_mem_map()
435 __ASSERT(ret, "Virtual address (%p) already mapped", va); in __arch_mem_map()
475 uint32_t va = (uint32_t)virt; in arch_mem_map() local
514 __arch_mem_map((void *)va, pa, xtensa_flags, is_user); in arch_mem_map()
517 va += KB(4); in arch_mem_map()
578 static inline void __arch_mem_unmap(void *va) in __arch_mem_unmap() argument
584 if (sys_cache_is_ptr_cached(va)) { in __arch_mem_unmap()
585 vaddr = va; in __arch_mem_unmap()
586 vaddr_uc = sys_cache_uncached_ptr_get(va); in __arch_mem_unmap()
588 vaddr = sys_cache_cached_ptr_get(va); in __arch_mem_unmap()
589 vaddr_uc = va; in __arch_mem_unmap()
592 vaddr = va; in __arch_mem_unmap()
622 uint32_t va = (uint32_t)addr; in arch_mem_unmap() local
639 __arch_mem_unmap((void *)va); in arch_mem_unmap()
642 va += KB(4); in arch_mem_unmap()
884 uintptr_t va, va_uc; in update_region() local
888 va = start; in update_region()
891 va = (uintptr_t)sys_cache_cached_ptr_get((void *)start); in update_region()
898 ret = region_map_update(ptables, va, size, ring, new_flags); in update_region()