Constant optee_utee_sys::TEE_TYPE_DES3

pub const TEE_TYPE_DES3: u32 = 0xA0000013;