/core/arch/arm/tee/
../
arch_svc.c
arch_svc_a32.S
arch_svc_a64.S
arch_svc_private.h
cache.c
entry_fast.c
entry_std.c
init.c
pta_socket.c
sub.mk
svc_cache.c
svc_dummy.c