Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/plat/arm/css/sgi/
Dsgi_image_load.c29 unsigned int platid = 0, platcfg = 0; in plat_sgi_append_config_node() local
58 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()