Constant optee_teec_sys::TEEC_ORIGIN_TEE

source ยท 
pub const TEEC_ORIGIN_TEE: u32 = 0x00000003;