Constant optee_teec_sys::TEEC_ORIGIN_TRUSTED_APP

pub const TEEC_ORIGIN_TRUSTED_APP: u32 = 0x00000004;