284 	paddr_t pa = 0;  in boot_mem_release_unused()  local
305 	pa = vaddr_to_phys(ROUNDUP(boot_mem_desc->orig_mem_start,  in boot_mem_release_unused()
307 	mm = nex_phys_mem_mm_find(pa);  in boot_mem_release_unused()
317 	pa = tee_mm_get_smem(mm);  in boot_mem_release_unused()
318 	n = vaddr_to_phys(boot_mem_desc->mem_start) - pa;  in boot_mem_release_unused()
320 	DMSG("Carving out %#"PRIxPA"..%#"PRIxPA, pa, pa + n - 1);  in boot_mem_release_unused()
321 	mm = nex_phys_mem_alloc2(pa, n);  in boot_mem_release_unused()
344 	paddr_t pa = 0;  in boot_mem_release_tmp_alloc()  local
359 	pa = vaddr_to_phys(va);  in boot_mem_release_tmp_alloc()
361 	mm = nex_phys_mem_mm_find(pa);  in boot_mem_release_tmp_alloc()
364 	assert(pa == tee_mm_get_smem(mm));  in boot_mem_release_tmp_alloc()