Searched refs:tspd_init (Results 1 – 2 of 2) sorted by relevance
52 int32_t tspd_init(void);229 bl31_register_bl32_init(&tspd_init); in tspd_setup()243 int32_t tspd_init(void) in tspd_init() function
443 It performs the following actions in the ``tspd_init()`` function to fulfill the