Searched refs:bl31_main (Results 1 – 6 of 6) sorted by relevance
24 void bl31_main(void);
119 void bl31_main(void) in bl31_main() function
37 BL31_SOURCES += bl31/bl31_main.c \
93 bl bl31_main
1100 request that the exit from ``bl31_main()`` is to the BL32 entrypoint in1124 ``bl31_main()`` will set up the return to the normal world firmware BL33 and
2214 This function is called by ``bl31_main()`` to retrieve information provided by
