DBF_TEXT(trace, 3, __FUNCTION__); 
DBF_TEXT(setup, 3, __FUNCTION__); 
ctc_remove_device(struct ccwgroup_device *cgdev){	struct ctc_priv *priv;	pr_debug("%s() called\n", __FUNCTION__);	DBF_TEXT(trace, 3, __FUNCTION__);	priv = cgdev->dev.driver_data;	if (!priv)		return;	if (cgdev->state == CCWGROUP_ONLINE)		ctc_shutdown_device(cgdev);	ctc_remove_files(&cgdev->dev);	cgdev->dev.driver_data = NULL;	kfree(priv);	put_device(&cgdev->dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7394c928c849fe2ea5c20b6d73cbe7f220810d94/ctcmain.c/buggy/drivers/s390/net/ctcmain.c