platform_device_unregister(&wbsd_device); 
#ifdef CONFIG_PNP  if (!nopnp) pnp_unregister_driver(&wbsd_pnp_driver); 
static void __exit wbsd_drv_exit(void){	platform_device_unregister(&wbsd_device);		driver_unregister(&wbsd_driver);	DBG("unloaded\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/85bcc13072c54592596c5b41d40d1c6a18b04e19/wbsd.c/clean/drivers/mmc/wbsd.c