TEE_TYPE_DES

optee_utee_sys

Constant TEE_TYPE_DES 

Source 
pub const TEE_TYPE_DES: u32 = 0xA0000011;