#ifndef __TZ_TRUSTY_H__ #define __TZ_TRUSTY_H__ extern s32 trusty_mtee_std_call32(s32 smcnr, s32 a1, s32 a2, s32 a3); #endif
