Searched refs:bl31_register_bl32_init (Results 1 – 13 of 13) sorted by relevance
21 void bl31_register_bl32_init(int32_t (*func)(void));
263 void bl31_register_bl32_init(int32_t (*func)(void)) in bl31_register_bl32_init() function
142 bl31_register_bl32_init(&opteed_init); in opteed_setup()
177 bl31_register_bl32_init(&spm_init); in spm_mm_setup()
153 bl31_register_bl32_init(&tlkd_init); in tlkd_setup()
292 bl31_register_bl32_init(&tspd_init); in tspd_setup()
478 bl31_register_bl32_init(trusty_init); in trusty_setup()
348 bl31_register_bl32_init(&spmd_init); in spmd_spmc_init()
1143 and is registered using the ``bl31_register_bl32_init()`` function.1162 ``bl31_register_bl32_init()`` which provides a SPD-defined mechanism to
1 …_setup:6,bl31_prepare_next_image_entri:38,bl31_progbits_limit:53,bl31_register_bl32_init:38,bl31_s…
1131 .text.bl31_register_bl32_init1133 0x000000000e041558 bl31_register_bl32_init
470 000000000e041558 g F .text 000000000000000c bl31_register_bl32_init2388 000000000e041558 <bl31_register_bl32_init>:4096 e042d7c: 97fff9f7 bl e041558 <bl31_register_bl32_init>
Completed in 46 milliseconds