Searched refs:execution_ctx_count (Results 1 – 4 of 4) sorted by relevance
64 INFO("\tvCPU count:0x%x\n", part_info[i].execution_ctx_count); in fvp_get_partition_info()
393 uint16_t execution_ctx_count; member400 uint16_t execution_ctx_count; member
253 (*partitions)[array_index].execution_ctx_count = 1; in spmd_fill_lp_info_array()388 partition_info->execution_ctx_count = (uint16_t)((info >> 16) & 0xFFFFU); in ffa_partition_info_regs_get_part_info()475 partitions[idx].execution_ctx_count, in spmd_el3_populate_logical_partition_info()
1024 desc->execution_ctx_count = PLATFORM_CORE_COUNT; in partition_info_get_handler_v1_1()1060 desc->execution_ctx_count = PLATFORM_CORE_COUNT; in partition_info_get_handler_v1_1()1145 v1_0_partitions[index].execution_ctx_count = in partition_info_populate_v1_0()1146 partitions[index].execution_ctx_count; in partition_info_populate_v1_0()