Searched refs:tee_ram (Results 1 – 1 of 1) sorted by relevance
39 tee_mm_entry_t *tee_ram; member177 prtn->tee_ram = tee_mm_alloc(&virt_mapper_pool, VCORE_UNPG_RW_SZ); in configure_guest_prtn_mem()178 if (!prtn->tee_ram) { in configure_guest_prtn_mem()183 DMSG("TEE RAM: %08" PRIxPA, tee_mm_get_smem(prtn->tee_ram)); in configure_guest_prtn_mem()212 prtn->memory_map = prepare_memory_map(tee_mm_get_smem(prtn->tee_ram), in configure_guest_prtn_mem()237 if (prtn->tee_ram) in configure_guest_prtn_mem()238 tee_mm_free(prtn->tee_ram); in configure_guest_prtn_mem()311 tee_mm_free(prtn->tee_ram); in virt_guest_destroyed()
Completed in 2 milliseconds