/* The card detect interrupt isn't debounced so we delay it by 250ms to give the card a chance to fully insert/eject.  */
static void spitz_mci_setpower(struct device *dev, unsigned int vdd)
/* The card detect interrupt isn't debounced so we delay it by 250ms to give the card a chance to fully insert/eject.  */
static void spitz_mci_setpower(struct device *dev, unsigned int vdd)
{
	struct pxamci_platform_data* p_d = dev->platform_data;
	if (( 1 << vdd) & p_d->ocr_mask)
		spitz_card_pwr_ctrl(SPITZ_PWR_SD, 0x0004);
	else
		spitz_card_pwr_ctrl(SPITZ_PWR_SD, 0x0000);
}