Searched refs:tee_file_size (Results 1 – 2 of 2) sorted by relevance
20 uint32_t tee_file_size; in optee_verify_image() local22 tee_file_size = hdr->init_size + hdr->paged_size + in optee_verify_image()29 tee_file_size > tzdram_len || in optee_verify_image()30 tee_file_size != image_len || in optee_verify_image()31 (hdr->init_load_addr_lo + tee_file_size) > tzdram_end) { in optee_verify_image()
295 u32 tee_file_size; in secure_tee_install() local308 tee_file_size = hdr->init_size + hdr->paged_size + in secure_tee_install()313 (tee_file_size > size)) { in secure_tee_install()323 tee_info.tee_cert_size = tee_file_size; in secure_tee_install()326 loadptr = map_sysmem(addr, tee_file_size); in secure_tee_install()334 debug("tee_file_size = %d\n", tee_file_size); in secure_tee_install()339 roundup((u32)loadptr + tee_file_size, ARCH_DMA_MINALIGN)); in secure_tee_install()