esp_idf_sys

Constant CONFIG_MBEDTLS_HARDWARE_MPI

Source 
pub const CONFIG_MBEDTLS_HARDWARE_MPI: u32 = 1;