spin_lock_irqsave(&pcmcia_dev_list_lock, flags); if (list_empty(&skt->pcmcia->devices_list)) no_devices=1; spin_unlock_irqrestore(&pcmcia_dev_list_lock, flags);  /* if no devices were added for this socket yet because of * missing resource information or other trouble, we need to * do this now. */ if (no_devices) { int ret = pcmcia_card_add(skt); if (ret) return; }  /* some device information might have changed because of a CIS * update or because we can finally read it correctly... so * determine it again, overwriting old values if necessary. */ bus_for_each_dev(&pcmcia_bus_type, NULL, NULL, pcmcia_requery);  /* we re-scan all devices, not just the ones connected to this * socket. This does not matter, though. */ 
static void pcmcia_bus_rescan(void){	/* must be called with skt_sem held */	bus_rescan_devices(&pcmcia_bus_type);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e2f0b5344161dabfab102ac0a54f330f61477972/ds.c/buggy/drivers/pcmcia/ds.c