Searched refs:config_id (Results 1 – 4 of 4) sorted by relevance
36 unsigned int config_id) in set_config_info() argument44 dtb_info->config_id = config_id; in set_config_info()48 unsigned int dyn_cfg_dtb_info_get_index(unsigned int config_id) in dyn_cfg_dtb_info_get_index() argument54 if (dtb_infos[index].config_id == config_id) { in dyn_cfg_dtb_info_get_index()65 unsigned int index = dyn_cfg_dtb_info_get_index(config_id); in dyn_cfg_dtb_info_getter()71 WARN("FCONF: Invalid config id %u\n", config_id); in dyn_cfg_dtb_info_getter()93 if (dtb_infos[0].config_id == 0U) { in fconf_populate_dtb_registry()107 uint32_t config_max_size, config_id; in fconf_populate_dtb_registry() local126 rc = fdt_read_uint32(dtb, child, "id", &config_id); in fconf_populate_dtb_registry()135 VERBOSE("\tconfig-id = %u\n", config_id); in fconf_populate_dtb_registry()[all …]
20 unsigned int config_id; member30 unsigned int dyn_cfg_dtb_info_get_index(unsigned int config_id);31 struct dyn_cfg_dtb_info_t *dyn_cfg_dtb_info_getter(unsigned int config_id);37 unsigned int config_id);
33 unsigned int config_id; /* Config Id of the platform */ member
98 sgi_plat_info.config_id = plat_arm_sgi_get_config_id(); in bl31_early_platform_setup2()129 (sgi_plat_info.config_id == RD_E1_EDGE_CONFIG_ID))) { in plat_arm_psci_override_pm_ops()
Completed in 4 milliseconds