Constant TEE_ALG_AES_CTR 

pub const TEE_ALG_AES_CTR: u32 = 268435984;