esp_idf_sys

Constant MBEDTLS_PSA_BUILTIN_ALG_SHA_512

Source 
pub const MBEDTLS_PSA_BUILTIN_ALG_SHA_512: u32 = 1;