Searched refs:bl31_early_platform_setup (Results 1 – 6 of 6) sorted by relevance
52 void bl31_early_platform_setup(u_register_t from_bl2, in bl31_early_platform_setup() function79 bl31_early_platform_setup(arg0, arg1); in bl31_early_platform_setup2()
58 void bl31_early_platform_setup(u_register_t from_bl2, in bl31_early_platform_setup() function85 bl31_early_platform_setup(arg0, arg1); in bl31_early_platform_setup2()
664 ``bl31_early_platform_setup()``. The value of these parameters is never directly
1980 (that was copied during ``bl31_early_platform_setup()``) if the image exists. It
614 ``bl31_early_platform_setup()``. The value of these parameters is never directly
2230 (that was copied during ``bl31_early_platform_setup()``) if the image exists. It