Searched refs:sgi_plat_info (Results 1 – 2 of 2) sorted by relevance
21 sgi_platform_info_t sgi_plat_info; variable76 if (sgi_plat_info.platform_id == RD_N1E1_EDGE_SID_VER_PART_NUM || in plat_css_get_scmi_info()77 sgi_plat_info.platform_id == RD_V1_SID_VER_PART_NUM || in plat_css_get_scmi_info()78 sgi_plat_info.platform_id == RD_N2_SID_VER_PART_NUM) { in plat_css_get_scmi_info()83 else if (sgi_plat_info.platform_id == SGI575_SSC_VER_PART_NUM) in plat_css_get_scmi_info()92 sgi_plat_info.platform_id = plat_arm_sgi_get_platform_id(); in bl31_early_platform_setup2()93 sgi_plat_info.config_id = plat_arm_sgi_get_config_id(); in bl31_early_platform_setup2()94 sgi_plat_info.multi_chip_mode = plat_arm_sgi_get_multi_chip_mode(); in bl31_early_platform_setup2()114 if (((sgi_plat_info.platform_id == RD_N1E1_EDGE_SID_VER_PART_NUM) && in plat_arm_psci_override_pm_ops()115 (sgi_plat_info.config_id == RD_E1_EDGE_CONFIG_ID))) { in plat_arm_psci_override_pm_ops()
31 extern sgi_platform_info_t sgi_plat_info;