Searched refs:virt_pool (Results 1 – 1 of 1) sorted by relevance
406 static void init_virt_pool(tee_mm_pool_t *virt_pool) in init_virt_pool() argument417 if (!tee_mm_init(virt_pool, begin, size, SMALL_PAGE_SHIFT, in init_virt_pool()