Searched refs:per_world_ctx_size (Results 1 – 1 of 1) sorted by relevance
62 size_t per_world_ctx_size = 0U; in report_allocated_memory() local159 per_world_ctx_size = sizeof(per_world_context[security_state_idx]); in report_allocated_memory()161 total += per_world_ctx_size; in report_allocated_memory()163 printf("Per-world context: %luB\n\n", per_world_ctx_size); in report_allocated_memory()