Searched refs:TCB_SIZE (Results 1 – 1 of 1) sorted by relevance
79 #define TCB_SIZE(tls_size) (sizeof(*_tcb) + (tls_size)) macro114 _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()