optee_teec_sys

Constant TEEC_ORIGIN_TEE

Source 
pub const TEEC_ORIGIN_TEE: uint32_t = 0x00000003;