TEE_ORIGIN_TEE

optee_utee_sys

Constant TEE_ORIGIN_TEE 

Source 
pub const TEE_ORIGIN_TEE: u32 = 0x00000003;