Searched refs:secondary_count (Results 1 – 3 of 3) sorted by relevance
31 uint8_t secondary_count; member79 plat_info->secondary_count); in plat_n1sdp_append_config_node()133 || (plat_info.secondary_count > N1SDP_MAX_SECONDARY_COUNT) in plat_get_next_bl_params()
35 uint8_t secondary_count; member155 || (plat_info.secondary_count > N1SDP_MAX_SECONDARY_COUNT)) { in bl31_platform_setup()161 n1sdp_multichip_data.chip_count = plat_info.secondary_count + 1; in bl31_platform_setup()
18 uint8_t secondary_count; member84 || (plat_info.secondary_count > N1SDP_MAX_SECONDARY_COUNT)) { in bl2_platform_setup()