Searched refs:plat_arm_sgi_get_platform_id (Results 1 – 9 of 9) sorted by relevance
11 unsigned int plat_arm_sgi_get_platform_id(void) in plat_arm_sgi_get_platform_id() function
10 unsigned int plat_arm_sgi_get_platform_id(void) in plat_arm_sgi_get_platform_id() function
34 unsigned int plat_arm_sgi_get_platform_id(void);
51 platid = plat_arm_sgi_get_platform_id(); in plat_sgi_append_config_node()
92 sgi_plat_info.platform_id = plat_arm_sgi_get_platform_id(); in bl31_early_platform_setup2()
43 unsigned int plat_arm_sgi_get_platform_id(void) in plat_arm_sgi_get_platform_id() function
74 unsigned int plat_arm_sgi_get_platform_id(void) in plat_arm_sgi_get_platform_id() function