printk(" 0x%x newtuner", DST_TYPE_HAS_NEWTUNE); 
dprintk(verbose, DST_ERROR, 0, " 0x%x newtuner", DST_TYPE_HAS_NEWTUNE); 
static void dst_type_flags_print(u32 type_flags){	printk("DST type flags :");	if (type_flags & DST_TYPE_HAS_NEWTUNE)		printk(" 0x%x newtuner", DST_TYPE_HAS_NEWTUNE);	if (type_flags & DST_TYPE_HAS_TS204)		printk(" 0x%x ts204", DST_TYPE_HAS_TS204);	if (type_flags & DST_TYPE_HAS_SYMDIV)		printk(" 0x%x symdiv", DST_TYPE_HAS_SYMDIV);	if (type_flags & DST_TYPE_HAS_FW_1)		printk(" 0x%x firmware version = 1", DST_TYPE_HAS_FW_1);	if (type_flags & DST_TYPE_HAS_FW_2)		printk(" 0x%x firmware version = 2", DST_TYPE_HAS_FW_2);	if (type_flags & DST_TYPE_HAS_FW_3)		printk(" 0x%x firmware version = 3", DST_TYPE_HAS_FW_3);//	if ((type_flags & DST_TYPE_HAS_FW_BUILD) && new_fw)	printk("\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a427de6f72bc0d83ebb1d87f9003c5e1009f21cd/dst.c/buggy/drivers/media/dvb/bt8xx/dst.c