Searched refs:bl31_main (Results 1 – 6 of 6) sorted by relevance
23 void bl31_main(void);
105 void bl31_main(void) in bl31_main() function
27 BL31_SOURCES += bl31/bl31_main.c \
104 bl bl31_main
1142 request that the exit from ``bl31_main()`` is to the BL32 entrypoint in1166 ``bl31_main()`` will set up the return to the normal world firmware BL33 and
1847 This function is called by ``bl31_main()`` to retrieve information provided by