Searched refs:tlkd_init (Results 1 – 1 of 1) sorted by relevance
47 int32_t tlkd_init(void);91 bl31_register_bl32_init(&tlkd_init); in tlkd_setup()103 int32_t tlkd_init(void) in tlkd_init() function