Searched refs:tspd_init (Results 1 – 2 of 2) sorted by relevance
49 int32_t tspd_init(void);226 bl31_register_bl32_init(&tspd_init); in tspd_setup()240 int32_t tspd_init(void) in tspd_init() function
436 It performs the following actions in the ``tspd_init()`` function to fulfill the