__utee_tcb_init (reference) in projects: optee_os-3.20.0

Searched refs:__utee_tcb_init (Results 1 – 4 of 4) sorted by relevance

/optee_os-3.20.0/lib/libutee/include/
A D	user_ta_header.h	`86 void __utee_tcb_init(void);`
/optee_os-3.20.0/lib/libdl/
A D	dlfcn.c	`68 __utee_tcb_init(); in dlopen()`
/optee_os-3.20.0/lib/libutee/arch/arm/
A D	tcb.c	`86 void __utee_tcb_init(void) in __utee_tcb_init() function`
A D	user_ta_entry.c	`172 __utee_tcb_init(); in init_instance()`

Completed in 6 milliseconds