#ifdef CONFIG_PCMCIA_IOCTL /* Set up character device for user mode clients */ i = register_chrdev(0, "pcmcia", &ds_fops); if (i < 0) printk(KERN_NOTICE "unable to find a free device # for " "Driver Services (error=%d)\n", i); else major_dev = i;  #ifdef CONFIG_PROC_FS proc_pccard = proc_mkdir("pccard", proc_bus); if (proc_pccard) create_proc_read_entry("drivers",0,proc_pccard,proc_read_drivers,NULL); #endif #endif 
pcmcia_setup_ioctl(); 
static int __init init_pcmcia_bus(void){#ifdef CONFIG_PCMCIA_IOCTL	int i;#endif	spin_lock_init(&pcmcia_dev_list_lock);	bus_register(&pcmcia_bus_type);	class_interface_register(&pcmcia_bus_interface);#ifdef CONFIG_PCMCIA_IOCTL	/* Set up character device for user mode clients */	i = register_chrdev(0, "pcmcia", &ds_fops);	if (i < 0)		printk(KERN_NOTICE "unable to find a free device # for "		       "Driver Services (error=%d)\n", i);	else		major_dev = i;#ifdef CONFIG_PROC_FS	proc_pccard = proc_mkdir("pccard", proc_bus);	if (proc_pccard)		create_proc_read_entry("drivers",0,proc_pccard,proc_read_drivers,NULL);#endif#endif	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e7a480d229461e54a0b3b0439b2bf0e652545e3d/ds.c/buggy/drivers/pcmcia/ds.c