Searched refs:bl31_main (Results 1 – 5 of 5) sorted by relevance
9 BL31_SOURCES += bl31/bl31_main.c \
71 void bl31_main(void) in bl31_main() function
93 bl bl31_main
1029 request that the exit from ``bl31_main()`` is to the BL32 entrypoint in1051 ``bl31_main()`` will set up the return to the normal world firmware BL33 and
1867 This function is called by ``bl31_main()`` to retrieve information provided by