result = driver_register(&wbsd_driver); if (result < 0) return result; 
if (nopnp) { result = driver_register(&wbsd_driver); if (result < 0) return result; 
static int __init wbsd_drv_init(void){	int result;		printk(KERN_INFO DRIVER_NAME		": Winbond W83L51xD SD/MMC card interface driver, "		DRIVER_VERSION "\n");	printk(KERN_INFO DRIVER_NAME ": Copyright(c) Pierre Ossman\n");		result = driver_register(&wbsd_driver);	if (result < 0)		return result;	result = platform_device_register(&wbsd_device);	if (result < 0)		return result;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/85bcc13072c54592596c5b41d40d1c6a18b04e19/wbsd.c/clean/drivers/mmc/wbsd.c