Searched refs:total_size (Results 1 – 2 of 2) sorted by relevance
| /optee_os/lib/libutee/ |
| H A D | tcb.c | 90 size_t total_size = 0; in __utee_tcb_init() local
101 total_size += phdr->p_memsz; in __utee_tcb_init()
108 assert(total_size >= _tls_size); in __utee_tcb_init()
110 if (total_size == _tls_size) in __utee_tcb_init()
114 _tcb = malloc_flags(MAF_ZERO_INIT, _tcb, 1, TCB_SIZE(total_size)); in __utee_tcb_init()
116 EMSG("TCB allocation failed (%zu bytes)", TCB_SIZE(total_size)); in __utee_tcb_init()
153 _tls_size = total_size; in __utee_tcb_init()
|
| /optee_os/core/arch/arm/kernel/ |
| H A D | secure_partition.c | 704 size_t total_size = ROUNDUP(fdt_totalsize(fdt), SMALL_PAGE_SIZE); in copy_and_map_fdt() local
705 size_t num_pages = total_size / SMALL_PAGE_SIZE; in copy_and_map_fdt()
718 res = vm_map(&ctx->uctx, &va, total_size, perm, 0, m, 0); in copy_and_map_fdt()
723 if (fdt_open_into(fdt, (void *)va, total_size)) in copy_and_map_fdt()
727 *mapped_size = total_size; in copy_and_map_fdt()
776 size_t total_size = ROUNDUP(CFG_SP_INIT_INFO_MAX_SIZE, SMALL_PAGE_SIZE); in create_and_map_boot_info() local
777 size_t num_pages = total_size / SMALL_PAGE_SIZE; in create_and_map_boot_info()
790 res = vm_map(&ctx->uctx, va, total_size, perm, 0, m, 0); in create_and_map_boot_info()
795 *mapped_size = total_size; in create_and_map_boot_info()
|