Constant optee_utee_sys::TEE_ORIGIN_TRUSTED_APP

pub const TEE_ORIGIN_TRUSTED_APP: u32 = 0x00000004;