void teecore_init_ta_ram(void) { vaddr_t s; vaddr_t e; paddr_t ps; paddr_t pe; /* get virtual addr/size of RAM where TA are loaded/executedNSec * shared mem allcated from teecore */ core_mmu_get_mem_by_type(MEM_AREA_TA_RAM, &s, &e); ps = virt_to_phys((void *)s); TEE_ASSERT(ps); pe = virt_to_phys((void *)(e - 1)) + 1; TEE_ASSERT(pe); TEE_ASSERT((ps & (CORE_MMU_USER_CODE_SIZE - 1)) == 0); TEE_ASSERT((pe & (CORE_MMU_USER_CODE_SIZE - 1)) == 0); /* extra check: we could rely on core_mmu_get_mem_by_type() */ TEE_ASSERT(tee_pbuf_is_sec(ps, pe - ps) == true); TEE_ASSERT(tee_mm_is_empty(&tee_mm_sec_ddr)); /* remove previous config and init TA ddr memory pool */ tee_mm_final(&tee_mm_sec_ddr); tee_mm_init(&tee_mm_sec_ddr, ps, pe, CORE_MMU_USER_CODE_SHIFT, TEE_MM_POOL_NO_FLAGS); }
void teecore_init_pub_ram(void) { vaddr_t s; vaddr_t e; unsigned int nsec_tee_size = 32 * 1024; /* get virtual addr/size of NSec shared mem allcated from teecore */ core_mmu_get_mem_by_type(MEM_AREA_NSEC_SHM, &s, &e); TEE_ASSERT(s < e); TEE_ASSERT((s & SMALL_PAGE_MASK) == 0); TEE_ASSERT((e & SMALL_PAGE_MASK) == 0); /* extra check: we could rely on core_mmu_get_mem_by_type() */ TEE_ASSERT(tee_vbuf_is_non_sec(s, e - s) == true); /* * 32kByte first bytes are allocated from teecore. * Remaining is under control of the NSec allocator. */ TEE_ASSERT((e - s) > nsec_tee_size); TEE_ASSERT(tee_mm_is_empty(&tee_mm_pub_ddr)); tee_mm_final(&tee_mm_pub_ddr); tee_mm_init(&tee_mm_pub_ddr, s, s + nsec_tee_size, SMALL_PAGE_SHIFT, TEE_MM_POOL_NO_FLAGS); s += nsec_tee_size; default_nsec_shm_paddr = s; default_nsec_shm_size = e - s; }
void teecore_init_pub_ram(void) { vaddr_t s; vaddr_t e; /* get virtual addr/size of NSec shared mem allcated from teecore */ core_mmu_get_mem_by_type(MEM_AREA_NSEC_SHM, &s, &e); TEE_ASSERT(s < e); TEE_ASSERT((s & SMALL_PAGE_MASK) == 0); TEE_ASSERT((e & SMALL_PAGE_MASK) == 0); /* extra check: we could rely on core_mmu_get_mem_by_type() */ TEE_ASSERT(tee_vbuf_is_non_sec(s, e - s) == true); #ifdef CFG_PL310 /* Allocate statically the l2cc mutex */ TEE_ASSERT((e - s) > 0); tee_l2cc_store_mutex_boot_pa(s); s += sizeof(uint32_t); /* size of a pl310 mutex */ #endif default_nsec_shm_paddr = virt_to_phys((void *)s); default_nsec_shm_size = e - s; }