Searched refs:plat_arm_nrd_get_platform_id (Results 1 – 5 of 5) sorted by relevance
40 unsigned int plat_arm_nrd_get_platform_id(void);
144 nrd_plat_info.platform_id = plat_arm_nrd_get_platform_id(); in bl31_early_platform_setup2()209 platid = plat_arm_nrd_get_platform_id(); in append_config_node()
107 platid = plat_arm_nrd_get_platform_id(); in plat_nrd_append_config_node()
132 unsigned int plat_arm_nrd_get_platform_id(void) in plat_arm_nrd_get_platform_id() function
18 unsigned int plat_arm_nrd_get_platform_id(void) in plat_arm_nrd_get_platform_id() function