Searched refs:part_info (Results 1 – 1 of 1) sorted by relevance
40 part_info[SPMD_LP_MAX_SUPPORTED_SP] = { 0 }; in fvp_get_partition_info() local61 if (!ffa_partition_info_regs_get_part_info(&ret, i, &part_info[i])) in fvp_get_partition_info()63 INFO("\tPartition ID: 0x%x\n", part_info[i].ep_id); in fvp_get_partition_info()64 INFO("\tvCPU count:0x%x\n", part_info[i].execution_ctx_count); in fvp_get_partition_info()65 INFO("\tProperties: 0x%x\n", part_info[i].properties); in fvp_get_partition_info()66 INFO("\tUUID: 0x%x 0x%x 0x%x 0x%x\n", part_info[i].uuid[0], in fvp_get_partition_info()67 part_info[i].uuid[1], part_info[i].uuid[2], in fvp_get_partition_info()68 part_info[i].uuid[3]); in fvp_get_partition_info()