Constant optee_utee_sys::TEE_TYPE_DES

pub const TEE_TYPE_DES: u32 = 0xA0000011;