Constant TEE_ORIGIN_TRUSTED_APP 

pub const TEE_ORIGIN_TRUSTED_APP: u32 = 0x00000004;