pub const SD_IO_CCCR_HIGHSPEED: u32 = 19;