Searched refs:tee_ram (Results 1 – 1 of 1) sorted by relevance
57 tee_mm_entry_t *tee_ram; member199 prtn->tee_ram = nex_phys_mem_core_alloc(VCORE_UNPG_RW_SZ); in configure_guest_prtn_mem()200 if (!prtn->tee_ram) { in configure_guest_prtn_mem()205 DMSG("TEE RAM: %08" PRIxPA, tee_mm_get_smem(prtn->tee_ram)); in configure_guest_prtn_mem()234 tee_mm_get_smem(prtn->tee_ram)); in configure_guest_prtn_mem()256 if (prtn->tee_ram) in configure_guest_prtn_mem()257 tee_mm_free(prtn->tee_ram); in configure_guest_prtn_mem()465 tee_mm_free(prtn->tee_ram); in virt_put_guest()466 prtn->tee_ram = NULL; in virt_put_guest()