Searched refs:platcfg (Results 1 – 1 of 1) sorted by relevance
29 unsigned int platid = 0, platcfg = 0; in plat_sgi_append_config_node() local58 platcfg = plat_arm_sgi_get_config_id(); in plat_sgi_append_config_node()59 err = fdt_setprop_u32(fdt, nodeoffset, "config-id", platcfg); in plat_sgi_append_config_node()65 platcfg = plat_arm_sgi_get_multi_chip_mode(); in plat_sgi_append_config_node()66 err = fdt_setprop_u32(fdt, nodeoffset, "multi-chip-mode", platcfg); in plat_sgi_append_config_node()