Constant MBEDTLS_PSA_BUILTIN_ALG_CTR 

pub const MBEDTLS_PSA_BUILTIN_ALG_CTR: u32 = 1;