Searched refs:tlkd_init (Results 1 – 1 of 1) sorted by relevance
51 static int32_t tlkd_init(void);153 bl31_register_bl32_init(&tlkd_init); in tlkd_setup()165 static int32_t tlkd_init(void) in tlkd_init() function
