Searched refs:bl31_early_platform_setup (Results 1 – 3 of 3) sorted by relevance
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()
657 ``bl31_early_platform_setup()``. The value of these parameters is never directly
1899 (that was copied during ``bl31_early_platform_setup()``) if the image exists. It
Completed in 10 milliseconds