Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/plat/arm/css/sgi/include/
Dsgi_plat.h11 void sgi_bl31_common_platform_setup(void);
/external/arm-trusted-firmware/plat/arm/board/sgi575/
Dsgi575_plat.c29 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
/external/arm-trusted-firmware/plat/arm/board/rde1edge/
Drde1edge_plat.c28 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
/external/arm-trusted-firmware/plat/arm/board/rdn2/
Drdn2_plat.c30 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
/external/arm-trusted-firmware/plat/arm/board/rdv1/
Drdv1_plat.c29 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
/external/arm-trusted-firmware/plat/arm/board/rdn1edge/
Drdn1edge_plat.c95 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
/external/arm-trusted-firmware/plat/arm/board/rdv1mc/
Drdv1mc_plat.c129 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
/external/arm-trusted-firmware/plat/arm/css/sgi/
Dsgi_bl31_setup.c99 void sgi_bl31_common_platform_setup(void) in sgi_bl31_common_platform_setup() function