Home
last modified time | relevance | path

Searched refs:platform_id (Results 1 – 2 of 2) sorted by relevance

/tf-a-ffa_el3_spmc/plat/arm/css/sgi/
A Dsgi_bl31_setup.c76 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()
79 sgi_plat_info.platform_id == RD_N2_CFG1_SID_VER_PART_NUM) { in plat_css_get_scmi_info()
84 else if (sgi_plat_info.platform_id == SGI575_SSC_VER_PART_NUM) in plat_css_get_scmi_info()
93 sgi_plat_info.platform_id = plat_arm_sgi_get_platform_id(); in bl31_early_platform_setup2()
115 if (((sgi_plat_info.platform_id == RD_N1E1_EDGE_SID_VER_PART_NUM) && in plat_arm_psci_override_pm_ops()
/tf-a-ffa_el3_spmc/plat/arm/css/sgi/include/
A Dsgi_variant.h28 unsigned int platform_id; /* Part Number of the platform */ member

Completed in 3 milliseconds