Constant optee_utee_sys::TEE_ALG_DES3_ECB_NOPAD

pub const TEE_ALG_DES3_ECB_NOPAD: u32 = 0x10000013;