#endif 
static void __exit exit_pcmcia_bus(void){	class_interface_unregister(&pcmcia_bus_interface);#ifdef CONFIG_PROC_FS	if (proc_pccard) {		remove_proc_entry("drivers", proc_pccard);		remove_proc_entry("pccard", proc_bus);	}#endif	if (major_dev != -1)		unregister_chrdev(major_dev, "pcmcia");	bus_unregister(&pcmcia_bus_type);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9a5555b81fde402119a6b4f2b38d3373d272ff69/ds.c/buggy/drivers/pcmcia/ds.c