/* Handler for SD card detect rising edge interrupt.  */
static void sd_detect_handler(uint32_t id, uint32_t mask)
/* Handler for SD card detect rising edge interrupt.  */
static void sd_detect_handler(uint32_t id, uint32_t mask)
{
	if ((SD_MMC_0_CD_ID == id) && (SD_MMC_0_CD_MASK == mask)) {
		sd_listing_pos = 0;
		sd_num_files = 0;
		sd_fs_found = 0;
		sd_update = 1;
	}
}