printk("DST type : %s\n", otype); 
dprintk(verbose, DST_INFO, 1, "DST type: %s", otype); 
static int dst_type_print (u8 type){	char *otype;	switch (type) {	case DST_TYPE_IS_SAT:		otype = "satellite";		break;	case DST_TYPE_IS_TERR:		otype = "terrestrial";		break;	case DST_TYPE_IS_CABLE:		otype = "cable";		break;	default:		printk("%s: invalid dst type %d\n", __FUNCTION__, type);		return -EINVAL;	}	printk("DST type : %s\n", otype);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a427de6f72bc0d83ebb1d87f9003c5e1009f21cd/dst.c/buggy/drivers/media/dvb/bt8xx/dst.c