Searched refs:core_virt_tee_pool (Results 1 – 1 of 1) sorted by relevance
17 static tee_mm_pool_t core_virt_tee_pool; variable41 init_virt_pool(&core_virt_tee_pool, TEE_MM_POOL_NO_FLAGS, in page_alloc_init()61 pool = &core_virt_tee_pool; in virt_page_alloc()