Home
last modified time | relevance | path

Searched defs:plat_arm_sgi_get_config_id (Results 1 – 6 of 6) sorted by relevance

/external/arm-trusted-firmware/plat/arm/board/rdn2/
Drdn2_plat.c16 unsigned int plat_arm_sgi_get_config_id(void) in plat_arm_sgi_get_config_id() function
/external/arm-trusted-firmware/plat/arm/board/sgi575/
Dsgi575_plat.c16 unsigned int plat_arm_sgi_get_config_id(void) in plat_arm_sgi_get_config_id() function
/external/arm-trusted-firmware/plat/arm/board/rdv1/
Drdv1_plat.c16 unsigned int plat_arm_sgi_get_config_id(void) in plat_arm_sgi_get_config_id() function
/external/arm-trusted-firmware/plat/arm/board/rde1edge/
Drde1edge_plat.c16 unsigned int plat_arm_sgi_get_config_id(void) in plat_arm_sgi_get_config_id() function
/external/arm-trusted-firmware/plat/arm/board/rdn1edge/
Drdn1edge_plat.c49 unsigned int plat_arm_sgi_get_config_id(void) in plat_arm_sgi_get_config_id() function
/external/arm-trusted-firmware/plat/arm/board/rdv1mc/
Drdv1mc_plat.c80 unsigned int plat_arm_sgi_get_config_id(void) in plat_arm_sgi_get_config_id() function