Constant TEEC_ORIGIN_TEE 

pub const TEEC_ORIGIN_TEE: u32 = 0x00000003;