Searched refs:bl31_main (Results 1 – 7 of 7) sorted by relevance
21 void bl31_main(u_register_t arg0, u_register_t arg1, u_register_t arg2,
84 bl bl31_main
105 void __no_pauth bl31_main(u_register_t arg0, u_register_t arg1, u_register_t arg2, in bl31_main() function
36 BL31_SOURCES += bl31/bl31_main.c \
421 path ``bl31_main()`` and in the WarmBoot entry path ``void psci_warmboot_entrypoint()``.
1145 request that the exit from ``bl31_main()`` is to the BL32 entrypoint in1169 ``bl31_main()`` will set up the return to the normal world firmware BL33 and
2310 This function is called by ``bl31_main()`` to retrieve information provided by