19 	tee_mm_pool_t *pool = NULL;  in init_pool()  local
29 		pool = nex_malloc(sizeof(*pool));  in init_pool()
31 		pool = malloc(sizeof(*pool));  in init_pool()
32 	if (!pool)  in init_pool()
35 	if (!tee_mm_init(pool, b, sz, CORE_MMU_USER_CODE_SHIFT, flags))  in init_pool()
38 	return pool;  in init_pool()
68 static bool is_in_pool_range(tee_mm_pool_t *pool, paddr_t addr)  in is_in_pool_range()  argument
70 	return pool && core_is_buffer_inside(addr, 1, pool->lo, pool->size);  in is_in_pool_range()
126 static void partial_carve_out(tee_mm_pool_t *pool, paddr_t base, size_t size)  in partial_carve_out()  argument
128 	if (pool &&  in partial_carve_out()
129 	    core_is_buffer_intersect(base, size, pool->lo, pool->size)) {  in partial_carve_out()
135 		pa = MAX(base, pool->lo);  in partial_carve_out()
136 		end_pa = MIN(base + size - 1, pool->lo + pool->size - 1);  in partial_carve_out()
139 		mm = tee_mm_alloc2(pool, pa, sz);  in partial_carve_out()
151 static void add_pool_stats(tee_mm_pool_t *pool, struct pta_stats_alloc *stats,  in add_pool_stats()  argument
154 	if (pool) {  in add_pool_stats()
157 		tee_mm_get_pool_stats(pool, &s, reset);  in add_pool_stats()