Home
last modified time | relevance | path

Searched refs:bl31_main (Results 1 – 6 of 6) sorted by relevance

/tf-a-ffa_el3_spmc/include/bl31/
A Dbl31.h23 void bl31_main(void);
/tf-a-ffa_el3_spmc/bl31/
A Dbl31_main.c106 void bl31_main(void) in bl31_main() function
A Dbl31.mk39 BL31_SOURCES += bl31/bl31_main.c \
/tf-a-ffa_el3_spmc/bl31/aarch64/
A Dbl31_entrypoint.S104 bl bl31_main
/tf-a-ffa_el3_spmc/docs/design/
A Dfirmware-design.rst1142 request that the exit from ``bl31_main()`` is to the BL32 entrypoint in
1166 ``bl31_main()`` will set up the return to the normal world firmware BL33 and
/tf-a-ffa_el3_spmc/docs/getting_started/
A Dporting-guide.rst1895 This function is called by ``bl31_main()`` to retrieve information provided by

Completed in 12 milliseconds