printk(KERN_ERR DRIVER_NAME ": Resetting chip\n"); 
printk(KERN_ERR "%s: Resetting chip\n", mmc_hostname(host->mmc)); 
static void wbsd_reset(struct wbsd_host* host){	u8 setup;	printk(KERN_ERR DRIVER_NAME ": Resetting chip\n");	/*	 * Soft reset of chip (SD/MMC part).	 */	setup = wbsd_read_index(host, WBSD_IDX_SETUP);	setup |= WBSD_SOFT_RESET;	wbsd_write_index(host, WBSD_IDX_SETUP, setup);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d191634f7ab3a1c8e9da0c5e986c30b2612f0eb0/wbsd.c/clean/drivers/mmc/wbsd.c