/xen/include/asm-arm/tee/
../
optee_msg.h
optee_rpc_cmd.h
optee_smc.h
tee.h