Searched refs:bl31_early_platform_setup (Results 1 – 3 of 3) sorted by relevance
50 void bl31_early_platform_setup(u_register_t from_bl2, in bl31_early_platform_setup() function68 bl31_early_platform_setup(arg0, arg1); in bl31_early_platform_setup2()
614 ``bl31_early_platform_setup()``. The value of these parameters is never directly
2314 (that was copied during ``bl31_early_platform_setup()``) if the image exists. It