Constant SD_IO_CCCR_HIGHSPEED 

pub const SD_IO_CCCR_HIGHSPEED: u32 = 19;