Constant MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS 

pub const MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS: u32 = 1;