vrc4171_remove_sockets  724 drivers/pcmcia/vrc4171_card.c 		vrc4171_remove_sockets();
vrc4171_remove_sockets  739 drivers/pcmcia/vrc4171_card.c 	vrc4171_remove_sockets();