Searched refs:bl31_register_bl32_init (Results 1 – 11 of 11) sorted by relevance
18 void bl31_register_bl32_init(int32_t (*func)(void));
362 void bl31_register_bl32_init(int32_t (*func)(void)) in bl31_register_bl32_init() function
239 bl31_register_bl32_init(&pncd_init); in pncd_setup()
154 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()
490 bl31_register_bl32_init(trusty_init); in trusty_setup()
243 bl31_register_bl32_init(&opteed_init); in opteed_setup()
599 bl31_register_bl32_init(&spmd_init); in spmd_spmc_init()
2540 bl31_register_bl32_init(&sp_init); in spmc_setup()
1139 and is registered using the ``bl31_register_bl32_init()`` function.1158 ``bl31_register_bl32_init()`` which provides a SPD-defined mechanism to