} else { printk(KERN_DEBUG "%s: off\n", __FUNCTION__); 
else 
static void corgi_mci_setpower(struct device *dev, unsigned int vdd){	struct pxamci_platform_data* p_d = dev->platform_data;	if (( 1 << vdd) & p_d->ocr_mask) {		printk(KERN_DEBUG "%s: on\n", __FUNCTION__);		GPSR1 = GPIO_bit(CORGI_GPIO_SD_PWR);	} else {		printk(KERN_DEBUG "%s: off\n", __FUNCTION__);		GPCR1 = GPIO_bit(CORGI_GPIO_SD_PWR);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fdce05bbfe171882adf53ce32e04da24276cb8cd/corgi.c/buggy/arch/arm/mach-pxa/corgi.c