TEE_TYPE_DES3

optee_utee_sys

Constant TEE_TYPE_DES3 

Source 
pub const TEE_TYPE_DES3: u32 = 0xA0000013;