mmc_power_off(host); mmc_detect_change(host);  return 0; 
return ret; 
int mmc_add_host(struct mmc_host *host){	static unsigned int host_num;	snprintf(host->host_name, sizeof(host->host_name),		 "mmc%d", host_num++);	mmc_power_off(host);	mmc_detect_change(host);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/00b137cfda5276b3d2c87d44236fe4c5ee68b405/mmc.c/buggy/drivers/mmc/mmc.c