/* Deselect the micro SD card and release the SPI bus.  */
void MICROSD_Deselect(void)
/* Deselect the micro SD card and release the SPI bus.  */
void MICROSD_Deselect(void)
{
  GPIO->P[ MICROSD_GPIOPORT ].DOUTSET = 1 << MICROSD_CSPIN;
  MICROSD_XferSpi(0xff);
}