Searched refs:__utee_tcb_init (Results 1 – 4 of 4) sorted by relevance
114 void __utee_tcb_init(void);
68 __utee_tcb_init(); in dlopen()
86 void __utee_tcb_init(void) in __utee_tcb_init() function
192 __utee_tcb_init(); in init_instance()