Home
last modified time | relevance | path

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

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

Completed in 9 milliseconds