printk(KERN_NOTICE "pccard: card ejected from slot %d\n", skt->sock); 
static void socket_remove(struct pcmcia_socket *skt){	socket_shutdown(skt);	cs_socket_put(skt);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/807277cbf9a240b133ee378a53b65375088ef62a/cs.c/buggy/drivers/pcmcia/cs.c