original_kernel/drivers/tee/amdtee
..
Kconfig
Makefile
amdtee_if.h
amdtee_private.h
call.c
core.c
shm_pool.c