Constant optee_utee_sys::TEE_ALG_AES_CTR

pub const TEE_ALG_AES_CTR: u32 = 0x10000210;