Searched refs:bl31_register_bl32_init (Results 1 – 10 of 10) sorted by relevance
21 void bl31_register_bl32_init(int32_t (*func)(void));
233 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()
153 bl31_register_bl32_init(&tlkd_init); in tlkd_setup()
216 bl31_register_bl32_init(&spm_init); in spm_mm_setup()
292 bl31_register_bl32_init(&tspd_init); in tspd_setup()
309 bl31_register_bl32_init(&spmd_init); in spmd_spmc_init()
476 bl31_register_bl32_init(trusty_init); in trusty_setup()
1303 bl31_register_bl32_init(&sp_init); in spmc_setup()
1136 and is registered using the ``bl31_register_bl32_init()`` function.1155 ``bl31_register_bl32_init()`` which provides a SPD-defined mechanism to
Completed in 16 milliseconds