Constant TEE_ALG_AES_CTR 

pub const TEE_ALG_AES_CTR: u32 = 0x10000210;