Searched refs:vaddr_to_phys (Results 1 – 4 of 4) sorted by relevance
296 vaddr_to_phys(boot_mem_desc->orig_mem_start)); in boot_mem_release_unused()305 pa = vaddr_to_phys(ROUNDUP(boot_mem_desc->orig_mem_start, in boot_mem_release_unused()315 tmp_pa = vaddr_to_phys(tmp_va); in boot_mem_release_unused()318 n = vaddr_to_phys(boot_mem_desc->mem_start) - pa; in boot_mem_release_unused()359 pa = vaddr_to_phys(va); in boot_mem_release_tmp_alloc()
2822 end_pa = vaddr_to_phys(ROUNDUP2(VCORE_FREE_END_PA, in core_mmu_init_phys_mem()2825 carve_out_core_mem(vaddr_to_phys(VCORE_UNPG_RX_PA), end_pa); in core_mmu_init_phys_mem()2827 pa = vaddr_to_phys(ROUNDUP2(ASAN_MAP_PA, align)); in core_mmu_init_phys_mem()
92 static inline paddr_t vaddr_to_phys(vaddr_t va) in vaddr_to_phys() function
658 vaddr_to_phys(tcl[n].tmp_stack_va_end); in thread_init_thread_core_local()