Home
last modified time | relevance | path

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

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

Completed in 2 milliseconds