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