if (verbose > 4) dprintk("%s:registering DST-CA device\n", __FUNCTION__); 
dprintk(verbose, DST_CA_ERROR, 1, "registering DST-CA device"); 
int dst_ca_attach(struct dst_state *dst, struct dvb_adapter *dvb_adapter){	struct dvb_device *dvbdev;	if (verbose > 4)		dprintk("%s:registering DST-CA device\n", __FUNCTION__);	dvb_register_device(dvb_adapter, &dvbdev, &dvbdev_ca, dst, DVB_DEVICE_CA);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a427de6f72bc0d83ebb1d87f9003c5e1009f21cd/dst_ca.c/buggy/drivers/media/dvb/bt8xx/dst_ca.c