Searched refs:platid (Results 1 – 1 of 1) sorted by relevance
29 unsigned int platid = 0, platcfg = 0; in plat_sgi_append_config_node() local51 platid = plat_arm_sgi_get_platform_id(); in plat_sgi_append_config_node()52 err = fdt_setprop_u32(fdt, nodeoffset, "platform-id", platid); in plat_sgi_append_config_node()