Constant SD_SPI_R2_ECC_FAILED 

pub const SD_SPI_R2_ECC_FAILED: u32 = 4096;