original_kernel/drivers/tee/optee
..
Kconfig
Makefile
call.c
core.c
optee_msg.h
optee_private.h
optee_smc.h
rpc.c
shm_pool.c
shm_pool.h
supp.c