esp_idf_sys

Constant SD_IO_CCCR_HIGHSPEED

Source 
pub const SD_IO_CCCR_HIGHSPEED: u32 = 19;